[Haskell-cafe] Tezos is hiring 40 functional programmers

Ryan Trinkle ryan.trinkle at gmail.com
Mon May 21 20:37:12 UTC 2018

Hi everyone,

I received this from Tezos - one of Obsidian's clients - and I thought it
would be of interest to people here.

Tezos is a blockchain and a platform of distributed applications written in
OCaml, which brings scalability, formal verification and self-amendment to
the blockchain space.

Tezos has 40 open positions in the world including 25 in France. Remote and
part-time accepted.

We are looking for profiles ranging from masters (with possible funding for
PhD) to PhD with extensive experience.

Expertise in a functional language such as OCaml, Haskell, Clojure or
equivalent is required, as well as skills in one of the following topics:
algorithms, compilers, design of programming languages, cryptography, p2p,
web programming / UI in OCaml, SAT / SMT, linear and integer programming,
formal verification, stochastic processes, computer algebra or numerical

Highly competitive salaries.

If you are interested, please send your CV (resumé) to careers at tezos.com

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180521/bb5b4497/attachment.html>

More information about the Haskell-Cafe mailing list