Learn from Experts, Code with Confidence

Future-proof your skills with hands-on learning, industry-leading instructors, and a supportive peer network. Empower yourself with expert-driven training tailored to your needs.

Expert Instructors: Learn from core developers with years of industry experience
Hands-On Learning: Dive into coding from day one with exercises, projects, and real-world scenarios
Peer Collaboration: Engage with a community of like-minded developers to share knowledge and insights
Career Advancement: Equip yourself with the skills to tackle new challenges
Flexible & Customisable: We tailor the course to your specific needs

Explore our courses Sign up for More Information →

	Duration	Price per Person
OCaml and Functional Programming
Starting with OCaml: An Introduction	1 week	€1000	Learn More
Mastering OCaml: Advanced Techniques	2 days	€1500	Learn More
Scalable, Flexible, and Powerful: Language-neutral Functional Programming	3 days	€1000	Learn More
Cyber-Security
Cybersecurity & Security by Design	3 days	€5000	Learn More
Open-Source
Open-source Development: How to make OSS work for You	1 day	€1000	Learn More

OCaml stands out for its expressive syntax, robust type system, and exceptional performance. It's the secret weapon behind many high-performance applications in industries ranging from finance to software infrastructure. By bringing OCaml to your teams, you gain the ability to write more efficient, safe, and maintainable code.

Starting with OCaml: An Introduction

Language Concepts (2 days)

OCaml: History and paradigms
Setting up the OCaml environment
Dune, the OCaml Platform, and VSCode
Functional programming concepts: Functions, recursion, and higher order functions
Programming with data: Data types and pattern matching
Imperative programming: Mutable state and arrays
Modular programming: Namespaces, modules, and functors
Data structures: Maps, hash tables, AVL tree, binary search tree
Error handling

Tools & Techniques (2 days)

Opam: The OCaml package manager
Testing: Expect tests and QuickCheck
Essential libraries and tools
Command line parsing
Concurrent programming with Lwt
Interfacing with C
Debugging and profiling: OCamldebug, GDB, RR, Perf, and Memtrace
Building, documenting and releasing your OCaml project

Project (1 day)

Building a real-world application

Special pricing applies to groups.

Replace up to 3 topics with custom elements at no extra cost.

Price per Person: €1000
Duration: 1 week

Mastering OCaml: Advanced Techniques

Advanced OCaml (2 days)

Customise your course by choosing your modules from this list:

How to Upgrade from OCaml 4 to OCaml 5
How to make the most of OCaml 5 Multicore
Multicore programming With Eio
Programming With GADTs
Testing your code with Alcotest, TSan, DSCheck, STM, and more
Advanced Dune methods
PPX preprocessors
Using MirageOS
Making web applications with OCaml using JSOO, WASOO, and Dream

Special pricing applies to groups.

Price per Person: €1500
Duration: 2 days

Improve your efficiency and enhance your understanding of OCaml by delving into advanced topics and techniques based on real-world applications.

Learn how FP can enhance the readability and flexibility of your code while reducing bugs and maintaining high performance. Bring a competitive advantage to your company projects by increasing code quality and reducing development time, regardless of language.

Scalable, Flexible, and Powerful: Language-neutral Functional Programming

Functional Programming (1 day)

Basic types: list and option
Anonymous functions and closures
Recursive functions
Higher-order functions and iterators: map, fold, bind, reduce and others
Function composition and pipes
Polymorphism: functions with type parameters.
Type annotations and type inference

Types (1 day)

Immutability
Sum, product and recursive types
Polymorphism: types with type parameters
Currying
Iterators over custom types, tail-recursion
Monads

Pushing Further (1 day)

Type algebra: empty, unit, bool.
Continuations
Lazy evaluation, thunks, memoization
Infinite streams and corecursion
IO monad

Special pricing applies to groups.

Price per Person: €1000
Duration: 3 days

Cybersecurity & Security by Design

Our training programs are fully customized to align with the specific goals of our trainees. Below is a sample program curriculum, and we would be happy to discuss how we can tailor it to meet your unique needs.

Cyber Security 2.0 (1 day)

What is secure by design?
The White House cybersecurity report
Memory safety and preventing 70% of software vulnerabilities
Static-type systems like OCaml and how they reduce runtime errors
Testing and static analysis tools for early vulnerability detection

Tools & Techniques for Security by Design (1 day)

Gradual verification and scaling your security practices
Unit and integration testing: foundational methods for catching early bugs:
Property-based testing: explore inputs systematically to discover edge cases
Formal verification: using tools like Coq and F* to mathematically prove the correctness of critical system components

Case Study (1 day)

Securing a system: Integrating testing, static analysis, and formal verification on a cloud-based system architecture
Compartmentalise system components using unikernels (such as MirageOS)
Combining OCaml with formal methods to reduce attack surfaces
Identify scalable security strategies

Price per Person: €5000
Duration: 3 days

Security is paramount for critical systems and understanding best practices can protect your code and your reputation. Learn how to build fully verified software and hardware applications based on secure-by-design methodologies, and ensure compliance with the Cyber Resilience Act.

OSS principles and methodologies accelerate innovation through multiple contributors, reduce overall costs, and improve quality by leveraging a large community of reviewers and testers. Extend the reach of your projects into open-source and benefit from a wealth of expertise and experience.

Open-source Development: How to make OSS work for You

Open source for IT leaders - benefits and risks

What is open source?
Why have many large organisations decided to move to Open Source
What to consider when exploring the benefits Open Source can bring - what are potential savings
Potential risks and mitigation strategies

Details coming soon.

Price per Person: €1000
Duration: 1 day

Submit your details, and one of our team members will reach out to confirm your registration or answer any questions you may have!