(English below)
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, Raja et Muriel, envoyez nous par email votre
C.V. et une description de certaines de vos réalisations à :
(English version)
OCamlPro is a French company, located in Paris, born in 2011.
Today, OCamlPro is working mostly on three topics:
* OCaml tooling : design of development tools for OCaml (open-source
most of the time). Such tools range from command-line tools (such as
OPAM or ocp-build), tools with graphical interfaces (the OCaml
Memory Profiler) and web-based tools (TryOCaml, the OCaml MOOC).
* Formal methods : OCamlPro is involved in collaborative projects with
academia and industry to develop tools for software verification, such
the Alt-Ergo SMT Solver (from LRI).
* Blockchains : OCamlPro has been involved in the design and
implementation of the Tezos ledger. OCamlPro is now working on
We are looking for passionate OCaml developers, with different levels
of skills and experience, from master to PhD++. Every developer at
OCamlPro is usually working on both long-term projects, and shorter
customer-driven projects, in many different areas of industry.
If you want to join Fabrice, Çagdas, Pierre, Louis, Mohamed, Thomas,
Pierrick, Michael, Vincent, Raja and Muriel, email your resume or
C.V. and a description of some of your accomplishments to: