This small, early stage, funded Cryptocurrency project is using OCaml to make sure the technology behind Cryptocurrency is ready for global, commercial use. This is a opportunity for Functional Engineers located in San Francisco to help Cryptocurrency live up to the hype. 🚀

Cryptocurrency is a domain where correctness really counts. 👩‍💻💱 As such, a cornerstone of our approach is a focus on building reliable software through the use of statically-typed functional programming languages. This is reflected in our OCaml codebase and style of structuring code around DSLs, as well as in the design of the smart-contracts platform we're developing.

There is no need to have prior experience in cryptography, and we're hiring engineers to work on a bunch of exciting projects including:

Our OCaml DSL for writing zk-SNARKs (a cryptographic primitive for certified computation).

DSL for writing (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 ).

has to be efficient inside ). Working on the core networking, cryptography, and reliability aspects of the protocol.

This is a chance to join a small, collaborative team and have a ton of independence while working on fascinating cross-disciplinary problems in computing. We also offer competitive compensation both in salary and equity as well as top-of-the-market benefits.

Looking for:

functional programming

programming language theory

security

distributed systems

cryptography

cryptocurrency

There are no hard requirements and we're more interested in learning about your individual background.