<div dir="ltr"><div class="gmail_quote"><br><div dir="ltr"><br clear="all"><div><div class="m_-4645050735711762657gmail_signature"><div dir="ltr"><span class="m_-4645050735711762657gmail-im" 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.<br><br></span><span style="font-size:12.8px">Tezos compte 40 postes ouverts dans le monde dont environ 25 en France. Les temps partiels et le télé travail sont envisageables.</span><span class="m_-4645050735711762657gmail-im" style="font-size:12.8px"><br><br>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.<br><br></span><span class="m_-4645050735711762657gmail-im" style="font-size:12.8px">Nous recherchons des profils variés, avec une préférence pour les détenteurs de doctorats. Possibilité de thèse CIFRE pour les étudiants en master.<br><br></span><span 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, vérification formelle, programmation linéaire et en nombres entiers, optimisation numérique, processus stochastiques ou calcul formel.</span><span class="m_-4645050735711762657gmail-im" style="font-size:12.8px"><br><br>Rémunération très attractive.<br><br>Si vous êtes intéressé(e)s, envoyez votre CV à <a href="mailto:careers@tezos.com" target="_blank">careers@tezos.com</a>!<br><br><br><br>*******************<br><br><br><br>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.<br><br></span><span style="font-size:12.8px">We are currently filling 40 open positions world-wide, including 25 in France. Part-time and remote work will be considered.</span><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><span class="m_-4645050735711762657gmail-im">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.<br><br></span>We are looking for a range of profiles, with a preference towards PhD holders. Possibility of PhD funding for excellent master students.<br><br>Mastering of a functional language such as OCaml, Haskell or Clojure is particularly desirable, as well as skills in one or more of the following topics: algorithms, compilers, design of programming languages, cryptography, p2p, web programming / UI in OCaml, SAT / SMT, formal verification, linear and integer programming, numerical optimization, stochastic processes or computer algebra.<div class="m_-4645050735711762657gmail-yj6qo m_-4645050735711762657gmail-ajU" style="margin:2px 0px 0px"><div id="m_-4645050735711762657gmail-:19p" class="m_-4645050735711762657gmail-ajR"><img class="m_-4645050735711762657gmail-ajT" src="https://ssl.gstatic.com/ui/v1/icons/mail/images/cleardot.gif"></div></div><div class="m_-4645050735711762657gmail-adL"><span class="m_-4645050735711762657gmail-im">Attractive compensation.<br><br>If you are interested, please send your CV (resumé) to <a href="mailto:careers@tezos.com" target="_blank">careers@tezos.com</a>!</span></div><div class="m_-4645050735711762657gmail-adL"><span class="m_-4645050735711762657gmail-im"><br></span></div><div class="m_-4645050735711762657gmail-adL"><span class="m_-4645050735711762657gmail-im"><br></span></div><div class="m_-4645050735711762657gmail-adL"><span class="m_-4645050735711762657gmail-im"><br></span></div></div></div></div></div>
</div>
</div><br></div>