OCamlPro

OCaml is a strict, strongly-typed, functional programming language, focusing on expressivity, correctness and performance. These qualities make it the language of choice for complex software and timely go-to-market strategies and OCamlPro has been created to promote it in the industry. In order to do so, we provide a wide range of services targeted at all stages of typical software projects: we train engineers and we improve the efficiency and usability of the OCaml compiler and tools, we help design new projects, advise on which open-source software components to use and how, we help deliver OCaml software projects and we do custom software development. One extra focus is the increase of the accessibility of OCaml for beginners and students.

Our customers are well-known industrial users such as Jane-Street, Citrix and Lexifi but we also help individual developers lost in the wild of non-OCaml environments inter-operate OCaml with other components. We also believe that collaborative R&D projects are a great opportunity to make existing companies discover OCaml and its benefits to their products and we are involved in several of them (such as Richelieu FUI and BWare ANR).

Our engineering team is steadily growing and has a wide range of technical skills and industrial world expertise as we are all coming from major academic and industrial actors such as INRIA, Dassaut Systèmes, MLstate and Citrix. We also love the OCaml open-source ecosystem: we have been participating to the development of ocsigen, mirage, XCP, mldonkey, marionet and so on.

By the way, OCamlPro has some open positions and we are still looking to hire excellent software engineers!

• Jane Street
• Citrix
• Microsoft
• Mylife