From : Fabrice Le Fessant <fabrice AT lefessant.net>

: Fabrice Le Fessant <fabrice AT lefessant.net> To : caml-list AT inria.fr, ocaml-jobs AT inria.fr

: caml-list AT inria.fr, ocaml-jobs AT inria.fr Subject : [Caml-list] [job offer] Post-doc/Software Engineer at OCamlPro

: [Caml-list] [job offer] Post-doc/Software Engineer at OCamlPro Date: Tue, 25 Dec 2012 13:43:20 +0100

[Caml-list] [job offer] Post-doc/Software Engineer at OCamlPro, Fabrice Le Fessant, 12/25/2012

OCamlPro is a French company devoted to the promotion of the OCamllanguage in the industry, as a way to make industrial software morereliable. OCamlPro participates to the development of OCaml, anddevelops its own tools and libraries, such as OPAM, ocp-build,Typerex, etc. to facilitate the use of OCaml in big softwareprojects. OCamlPro is located in the Alan Turing building of INRIASaclay, at Ecole Polytechnique, south-west of Paris.We are currently involved in the "Richelieu" project, a collaborativeR&D project to develop an LLVM-based optimizing JIT compiler for theScilab software, an open-source Matlab equivalent, in association withINRIA, Scilab Enterprise and Univ Paris 6 (Lip6).As part of this project, the French government is funding a two-yearR&D position at OCamlPro. For this position, we are looking for anOCaml expert, with background in typing, software analysis and/orcompilation. The engineer will have to work in close collaborationwith other teams involved in the project, especially at INRIA, butalso in Scilab Enterprise and LIP6 (VMKit team).Although this particular offer focuses on the Richelieu project, theengineer will have the opportunity on the long term to work on otherprojects in which OCamlPro is involved: improving the OCaml compiler,developing new development tools for OCaml and helping OCamlProcustomers in their daily use of OCaml.Please email your resume or C.V. and a description of some of yourbest accomplishments to:contact AT ocamlpro.comFor more information on OCamlPro, visit our website: http://www.ocamlpro.com/