Ocamlpro
Software engineering and consulting for organizations working with OCaml, Rust, COBOL and formal methods
Highlights
- New on EvolcAdded 2026-10-29
About Ocamlpro
OCamlPro provides software consulting, development, code audits, technical leadership and training. Its work includes programming languages, compilers, developer tools, formal verification, and legacy COBOL modernization.
It serves industrial and research organizations through client projects and training in OCaml, Rust, Coq and COBOL. The company was founded in 2011 and is based in Gif-sur-Yvette, France; its careers information also identifies Paris as a location. It invites spontaneous applications from OCaml developers and accepts industry-oriented doctoral theses.
Product: Custom software development, consulting, audits, technical leadership, and training in programming languages and software verification.
Jobs at Ocamlpro
Leadership
- Fabrice Le Fessant · Founder, President and CSOSource: company website
- Muriel Shan Sei Fan · Chief Operating OfficerSource: company website
- Pierre Chambart · CTO and Senior R&D EngineerSource: company website
- Jean-Marie Hauwel · Head of PartnershipsSource: company website
More it services & outsourcing companies
Occimore
Web project consulting, CMS and PHP development, and maintenance for organisations in FranceNew on EvolcOccitech
Custom web applications and e-commerce development for businesses seeking tailored digital productsNew on EvolcOccitgen
IT services for businesses in France: servers, networks, backup, Wi-Fi, hardware supply, maintenance and software adviceNew on EvolcOceane Consulting
IT consulting and digital transformation services for businesses, including banking, insurance and industrial clientsNew on EvolcOCI INFORMATIQUE
French IT services group providing cloud, network, cybersecurity, ERP and on-site support services to businesses
Website technologies
Older, unverified list. Detection dates and supporting evidence are not yet available.
- Bootstrap
- Calendly
- Matomo
- nginx