HN Jobs

O(1) Labs | Protocol engineers, cryptographers, PL hackers | San Francisco | https://o1labs.org/jobs/engineer.html 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. The key technical differentiator is that the use of SNARKs enables clients to securely sync their balance instantly (rather than having to download a huge blockchain). 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). * Implementing cutting edge cryptography and distributed consensus algorithms * Working on the core networking 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.)