Recrutement @ OCamlPro

OCamlPro est une entreprise française créée en avril 2011. Elle a trois principaux domaines d’activité :
* L’outillage autour d’OCaml. Nous concevons des outils de développement pour OCaml (en général en open source). Ces outils vont de l’utilitaire en ligne de commande (OPAM, ocp-build) aux outils avec interfaces graphiques (OCaml Memory profiler) ou web (TryOCaml, le MOOC OCaml, etc.).
* Les méthodes formelles. OCamlPro participe à de nombreux projets collaboratifs avec des laboratoires et des entreprises pour développer des outils pour la vérification logicielle, tel le SMT Solveur Alt-Ergo (issu du LRI)
* Les blockchains. OCamlPro a coconçu et coimplémenté la blockchain Tezos. OCamlPro oeuvre aujourd’hui sur de l’outillage autour de Tezos (tel http://tzscan.io ) et d’autres projets autour de blockchains (http://liquidity-lang.org )
Nous accueillons des développeurs OCaml passionnés, avec des niveaux différents de compétences et expérience, de niveau master à postdoctoral. Chez OCamlPro, chaque ingénieur travaille en parallèle sur des projets à long terme, et plus court terme pour des clients, dans différents secteurs inustriels.
Si vous voulez rejoindre Fabrice, Çagdas, Pierre, Louis, Mohamed, Thomas, Pierrick, Michael, Vincent, Alain, Raja et Muriel, envoyez nous par email votre
C.V. et une description de certaines de vos réalisations à :
(dernière mise à jour: 14 avril 2018)