Expert Solutions for 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!


For special performance or security and safety requirements, we can help assess and optimize your code base.

Tech lead as a service

Need a day-to-day orientation on your technical roadmap and strategy? Or handy way to on-demand ask our experts?


High-level trainings for teams willing to acquire deep expertise in Rust, OCaml, Coq and COBOL.

Boost your legacy COBOL infrastructure with open-source tooling, GnuCOBOL and SuperBOL.

Discover Red Iron, our new division offering consulting, audit, prototyping and custom development in Rust.

You are in good company



Mitsubishi Electric

Direction Générale des Finances Publiques


Trust In Soft



Tezos Foundation

Software Heritage



CEA list




GE HealthCare

Our partners



Systematic Paris Region


Paris Region


La French Tech Grand Paris


Words from 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. ”

“ 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. ”

“ 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. ”

Need assistance with your next project?

Other websites

We have a set of other dedicated websites: