[Caml-list] OCamlPro recrute/is hiring

[Caml-list] OCamlPro recrute/is hiring

[Fabrice Le Fessant]

[-- Attachment #1: Type: text/plain, Size: 3040 bytes --]

(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 à :
contact@ocamlpro.com
http://www.ocamlpro.com/

(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
  tooling for Tezos (such as http://tzscan.io) and other blockchain
projects.

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:
contact@ocamlpro.com

http://www.ocamlpro.com/

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[-- Attachment #2: Type: text/html, Size: 5463 bytes --]