O(1) Labs | Engineer | San Francisco | On-Site | Full Time
O(1) Labs (o1labs.org) is a small 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 well-funded by top investors in the space.
Cryptocurrency is a domain where correctness really counts. As such, we 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.
Please get in touch by sending an email with your resume and the subject "Engineer applicant" to jobs@o1labs.org (I'm the CTO and will read/respond personally.)