Job Description

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.

Ideal candidates will be interested in any of:

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

If you'd be interested in talking further, please get in touch by sending an email with your resume and the subject "Engineer applicant" to jobs@o1labs.org.

We are committed to building a diverse, inclusive company. People of color, LGBTQ individuals, women, and people with disabilities are strongly encouraged to apply.

Company Description

O(1) Labs is a small, well-funded startup aiming to develop the first cryptocurrency protocol that can deliver on the promise of supporting real-world applications and widespread use. Our team is based in San Francisco, and we are funded by top investors (including Polychain, Metastable, Max Levchin, and Naval Ravikant).