English and French versions:

    Tezos is a blockchain project, entirely developed in OCaml, that comes with breaking-edge features, such as a self-amending system for upgrades, proof-of-stake instead of proof-of-work, intensive use of static types and formal methods, both for the implementation and for the development of smart contracts. It can be seen as the most promising challenger for Bitcoin and Ethereum. A prototype of Tezos has been developed for some time at OCamlPro for Dynamic Ledger Solutions, and, following a successful ICO in June, we are now strengthening the team to release soon the first version, and maintain it in the future, in collaboration with the new born Tezos Fundation and academic partners.

  We are thus looking for motivated, highly-skilled OCaml programmers for the project. Tezos is a challenging project, with a mix of state-of-the-art algorithms in formal methods, distributed systems and cryptography.  Backgrounds in one or more of these fields would be highly appreciated. We are both hiring for short term contracts (1 or 2 years, postdocs), for the first versions of the project, and long term contracts, for maintenance and evolution of the project, with competitive salaries. OCamlPro is currently located in Paris, France. All the developments will be released in open-source by the Tezos Fundation.

  If you are interested in joining the team and contributing to the project, contact us as early as possible at contact@ocamlpro.com with some motivation hints and a CV.

---------------------------- French version -----------------------------------------

  Tezos est un projet de blockchain, entièrement développé en OCaml, qui utilise les technologies les plus récentes, telles qu'un système d'auto-gestion de son évolution, de la proof-of-stake au lieu de l'habituelle proof-of-work, et un usage intensif de types statiques et des méthodes formelles, aussi bien dans l'implantation que pour le développement des smart contracts. C'est probablement le challenger le plus prometteur pour Bitcoin et Ethereum. Un prototype de Tezos a été développé chez OCamlPro depuis un certain temps pour Dynamic Ledger Solutions, et, suite au succès de son ICO (financement participatif en échange de futurs jetons) en juin, nous sommes en train de renforcer l'équipe pour fournir bientôt la première version, et la maintenir et la faire évoluer dans le futur, en collaboration avec la nouvelle fondation Tezos et des partenaires académiques.

  Aussi, nous recherchons pour le projet des programmeurs OCaml motivés et hautement qualifiés. Tezos est un projet offrant de nombreux défis, avec un mix d'algorithmes dernier cri en méthodes formelles, systèmes distribués et cryptographie. Une connaissance d'un ou plusieurs de ces domaines serait très appréciée. Nous recrutons à la fois sur des contrats courts (1 à 2 ans, postdocs), pour les premières versions du projet, et sur des contrats longs, pour la maintenance et l'évolution du projet, avec des salaires compétitifs. Les bureaux d'OCamlPro sont à Paris.  Tous les développements seront distribués en open-source par la Fondation Tezos.

 Si vous êtes intéressés par rejoindre l'équipe pour contribuer au projet, contactez nous rapidement à contact@ocamlpro.com en nous transmettant vos motivations et un CV.

--Fabrice

Scientific Advisor at OCamlPro