[TYPES/announce] Tezos is hiring!

[careers]

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 careers at tezos.com!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180512/3c704748/attachment.html>