[Haskell-cafe] Tezos is hiring 40 functional programmers
ryan.trinkle at gmail.com
Mon May 21 20:37:12 UTC 2018
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
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...
More information about the Haskell-Cafe