Expert Solutions for highly complex Challenges
Our accomplished team of Ph.D. holders boasts world-class expertise in programming language design and advanced architectures.
Consulting and development
Well-specified architecture and efficient implementation: we’ll do it for you!
Audit
For special performance or security and safety requirements, we can help assess and optimize your code base.
Training
High-level trainings for teams willing to acquire deep expertise in Rust, OCaml, Coq and COBOL.
Support
A handy way to on-demand ask our experts. We offer support on Rust, OCaml, Opam and GNUCOBOL.
Tech lead as a service
Need a day-to-day orientation on your technical roadmap and strategy?
You're in good company
Words of our clients
“ MERCE was very satisfied of OCamlPro. The project was technically challenging and time constrained, nonetheless OCamlPro met the requirements in time while producing a code of excellent quality. ”
David Mentré, research manager at MERCE
“ We recently collaborated with OCamlPro engineers on design and development of an optimized test generation tool that we needed in our group.
I chose to work with OCamlPro because I knew their expertise in design and development of complex software verification tools from earlier collaborations, even if we never collaborated in this precise domain before.
The required tool was developed by the scheduled deadline to my greatest satisfaction. OCamlPro engineers were very efficient and professional. I particularly appreciated their in-depth analysis of complex algorithms and capacity to adapt to customers’ needs. ”
Nikolai Kosmatov, formal methods research engineer at Thales Research and Technology
“ The goal of our formal methods team is to bridge the gap between academic research and industrial practices by promoting the adoption of formal methods tools in development and integration chains.
For the particular problem of automated test generation for C programs, we needed the expertise of OCamlPro in the development of formal analysis tools. They provided us with a very advanced and modular solution going beyond our expectations.
The close collaboration allowed for fruitful discussions and brought new ideas, which made the experience enriching in many ways. We definitely would work again with OCamlPro, because it is the assurance of working with talented developers with a wide formal background. ”
Delphine Longuet, formal methods research engineer at Thales Research and Technology
Need assistance with your next project?
Other websites
We have a set of other dedicated websites:
- Rust Expertise: rust-coders.com, rust-expertise.com, red-iron.eu, iron-red.com
- Rust Expertise (in French): rust-coders.fr, rust-expertise.fr, red-iron.fr, iron-red.fr, rust-experts.fr
- Cobol Expertise: get-superbol.com, cobol-expertise.com
- Cobol Expertise (in French): cobol-expertise.fr
- Training: training.ocamlpro.com