We are looking for a talented and motivated cryptography engineer with experience in Zero-Knowledge Proofs technology. If hired you will join team building on the first cryptocurrency protocol with a succinct blockchain, Mina Protocol. This is a chance to join a small, collaborative team and have a ton of independence while working on fascinating problems that span software engineering, systems design, cryptography, and computing. They also offer competitive compensation both in salary and equity as well as top-of-the-market benefits. The Role You will be helping us to shape the future of our core zero knowledge protocols, improving the existing proving schemes we have, and suggesting innovative approaches to tackle performance bottlenecks.

The Role Includes

Implementing, optimizing, and reviewing code for Kimchi (our zero-knowledge proof system), Pickles (our recursion protocol), and cryptographic circuits.

Writing technical specs for design and use of the crypto protocols.

Writing high quality, performing, and well documented OCaml and Rust code.

Clear communication and articulation of abstract ideas.

Collaboration with the team of crypto engineers in a remote environment on a daily basis.

Proposing new meaningful approaches based on novel cryptography research available in academia.

Training new team members in zero-knowledge technology.

Speaking in some ZK conferences around the world.

Attending team offsites around the globe. There is no need to have prior experience in blockchain or cryptocurrency, however experience in Plonk and OCaml are required . It is a bonus if you have experience with recursive zk-proofs. However, experience in Plonk and OCaml are the only hard requirements; we're more interested in learning about your individual background!