[Caml-list] OCamlPro is hiring/recrute on/sur Tezos

[Caml-list] OCamlPro is hiring/recrute on/sur Tezos

[Fabrice Le Fessant]

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

English and French versions:

---------------------------- English version
-----------------------------------------

    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

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