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
| 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
- 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
- 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
- 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
- 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!