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.
Tezos compte 40 postes ouverts dans le monde dont environ 25 en France. Les temps partiels et le télé travail sont envisageables. 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. 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. 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. Rémunération très attractive. Si vous êtes intéressé(e)s, envoyez votre CV à care...@tezos.com! ******************* 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. We are currently filling 40 open positions world-wide, including 25 in France. Part-time and remote work will be considered. 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. We are looking for a range of profiles, with a preference towards PhD holders. Possibility of PhD funding for excellent master students. 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. Attractive compensation. If you are interested, please send your CV (resumé) to care...@tezos.com!
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell