Hi Christophe,

I came across your website and because of your functional programming/PLs experience wanted to reach out. I’m the technical lead on a team of functional programmers using zk-SNARKs to build a scalable cryptocurrency protocol. The project is in OCaml and we're looking for researchers and programmers like yourself to work on a bunch of projects including:

- Our OCaml DSL for writing zk-SNARKs (a cryptographic primitive for certified computation).
- The design of a virtual machine and higher-level languages for smart contracts (there a lot of interesting challenges here since the VM has to be efficient inside SNARKs).
- Working on the core networking, cryptography, and reliability aspects of the protocol.

I think this is an exciting chance to have a lot of independence while collaboratively working on cross-disciplinary problems in computing. In addition, we’re well-funded by the top crypto funds and angel investors (led by Metastable, Polychain, and Naval Ravikant). We also offer competitive salary and equity along with top-of-market health, dental, and vision.

I’d be very interested in having a quick call, so if this sounds exciting and you’d like to hear more, let me know and we can find a time to talk!

Best,
Izaak