OCAMLPRO

Our accomplished team of Ph.D. holders boasts world-class expertise in programming language design and advanced architectures... For special performance or security and safety requirements, we can help assess and optimize your code base... OCamlPro tackles complex design challenges (Domain Specific Languages, Blockchains) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

Primary location: Paris France