[Caml-list] Post-doc at Inria Paris to work on the OCaml language and core system

[Caml-list] Post-doc at Inria Paris to work on the OCaml language and core system

[Xavier Leroy]

Interested in contributing to OCaml as part of the team that created it?

The Gallium project-team at Inria Paris (http://gallium.inria.fr/) is
opening a post-doctoral position to work on the OCaml language and
core system.

The position is part of the SecurOCaml project
(http://ocamlpro.github.io/SecurOCaml/) and aims at improving the
usability and reliability of OCaml for the development of
high-assurance applications.  

In this context, a broad variety of OCaml-related research topics can
be considered depending on the expertise of the post-doctoral
scientist.  Theory-oriented topics will be considered but more
practically-oriented topics such as tool development and short-term
improvements to the OCaml system are especially welcome.

The position can start as early as February 2018 and extends until
June 2019, with a possible extension to December 2019.

The candidate should have a PhD, prior experience in the design and
implementation of functional programming languages, and a solid
experience in developing advanced software in OCaml.

To apply, send your curriculum vitae (including software portfolio and
names of references) to Xavier.Leroy@inria.fr.