<div dir="ltr"><div><div class="gmail_signature"><div dir="ltr"><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Tezos est une blockchain et une plateforme de contrats intelligents écrite en OCaml. En outre, Tezos est dotée d'un mécanisme d'auto-gestion lui permettant d'évoluer de manière décentralisée.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Le développement s'articule autour de plusieurs thèmes dont les systèmes distribués, les réseaux pairs à pairs, la théorie des langages de programmation, la cryptographie, et les méthodes formelles.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Tezos compte 40 postes ouverts dans le monde dont environ 25 en France.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Nous recherchons des profils variés, avec une préférence pour les détenteurs de doctorats. </div><div dir="ltr" style="font-size:12.8px">Possibilité de thèse CIFRE pour les étudiants en master.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Est fortement préférée la maîtrise d'un langage fonctionnel tel que OCaml, Haskell, Clojure ou équivalent et des compétences dans l'un des domaines suivants: algorithmique, compilateurs, conception de langages de programmation, cryptographie, p2p, programmation web / UI en OCaml, SAT/SMT ou vérification formelle.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Rémunération très attractive.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Si vous êtes intéressé(e)s, envoyez votre CV à <a href="mailto:careers@tezos.com" target="_blank">careers@tezos.com</a>!</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">*******************</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Tezos is a self-governing blockchain and smart-contract platform written in OCaml. Tezos' self-governance allows it to evolve in a decentralised manner by enabling collective decision making.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">The development of the project is centred around different areas, such as distributed systems, peer to peer systems, theory of programming languages, cryptography and formal methods.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">We are currently filling 40 open positions world-wide, including 25 in France and are looking for a range of profiles, with a preference towards PhD holders. </div><div dir="ltr" style="font-size:12.8px">Possibility of PhD funding for Master students in France.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Mastering of a functional language such as OCaml, Haskell or Closure is particularly desirable, as are proven skills in one or more of the following topics: algorithmics, compilers, design of programming languages, cryptography, p2p, web programming / UI in OCaml, SAT / SMT, or formal verification.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">Attractive compensation.</div><div dir="ltr" style="font-size:12.8px"><br></div><div dir="ltr" style="font-size:12.8px">If you are interested, please send your CV (resumé) to <a href="mailto:careers@tezos.com" target="_blank">careers@tezos.com</a>!</div><div><br></div><div class="gmail-yj6qo" style="font-size:12.8px"></div></div></div></div>
</div>