From the OCaml Labs wiki
Jump to: navigation, search

The goal of OCaml Labs is to push OCaml and functional programming forward as a platform, making it a more effective tool for current users (including significant industrial users) and at the same time growing the appeal of the language, broadening its applicability and popularity by a combination of technological advancements, creation of community infrastructure, and public communications.

We are always pleased to discuss collaboration opportunities, and feel free to contact us directly with any questions. A core principle of OCaml Labs is that all of the work done here will be freely released, available under open-source licences, and efforts made to integrate all work upstream (e.g. to INRIA, who originally developed and have maintained OCaml since its release in 1996).

Contact Us[edit]

For day-to-day inquiries about the Labs, please contact us directly:

  • Anil Madhavapeddy
  • KC Sivaramakrishnan - Research Fellow
  • Gemma Gordon - OCaml Labs Community Manager

You can also join our mailing lists.


There are several ways to work with OCaml Labs, ranging from internships and short visits, to embarking on a PhD degree, to post-doctoral work (both research and engineering-oriented).

A core principle of the OCaml Labs is that all of the work done here will be released to the public and made available under open-source licenses. To this end, all members of the Labs retain their own copyright, with the requirement that all OCaml-related activities be released under a free software license (preferably BSD/ISC or LGPLv2).

Applying for a PhD

We're always looking out for bright people to become PhD students. Of course, entry is very competitive, but every year quite a few people do win! A PhD degree in the Computer Lab typically takes 3-4 years, and requires application well in advance. You should read up on the official process, and also contact us to discuss research proposals before you submit them.

You will need to do some research on what sort of funding model you want (self-funding, or an EU grant, or a Gates Scholarship, or College funding). Some of them, like the Gates funds, are very competitive and so you will want to get your application in early. Also make sure you have the minimum qualifications (a Masters-level degree helps, as does experience in industry). We can also fund exceptional candidates directly, so do not despair if you cannot find external funding and always ask us!

Full-time positions

We are hiring for full-time post-doctoral and engineering positions for the projects we work on. These include:

  • Compiler engineers

The OCaml compiler is a very finely maintained tool, and we wish to help INRIA to maintain and develop it. The projects page lists some of the tasks, including a developing multicore-capable GC (without sacrificing sequential performance), improving cross-module inlining and general optimisation, adding an efficient LLVM backend (with hooks for precise GC), and experimenting with more radical techniques such as whole-program optimisation. If you are excited by the thought of such projects, enjoy open-source coding and interaction, and want to work in a vibrant and slightly crazy research group, then you want to apply!

  • Post-doctoral systems research

We use OCaml heavily in a variety of systems projects, ranging from the Mirage exokernel, the Signpost DNSSEC routing engine, the Xen Cloud Platform and privacy-aware