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).
• 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.

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.