Senior Cryptography Engineer

About NEBRA

NEBRA is a research & development organization dedicated to advancing the use of zero-knowledge proofs (ZKP) to enable a more private and scalable blockchain future. 

NEBRA released NEBRA UPA, the first universal proof aggregation protocol that scales ZKP verification more than 10x on Ethereum and L2s. This marked the humble beginning of our journey and there are more exciting products in the pipeline.

NEBRA seeks a Distributed System Engineer to join our world-class team. You'll work with our research and cryptographic engineering experts to develop critical components for our decentralized cloud platform. This role focuses on building innovative solutions combining distributed computing automation, Kubernetes operators, and private networking code.

About the Role

We are looking for a zkEVM Engineer. This is an early opportunity to join our world-class research and engineering team to make an impact in the blockchain industry. You will work with our research and cryptographic engineering team to develop zero-knowledge proof based cryptographic protocols.

In this role, you will:

• Join the process of designing and implementing blockchain scaling solutions using the state of art proof system.

• Quickly prototype to validate design choices and decisions.

• Work on the specs and open sourced implementations of blockchain scaling solutions

What we look for in you:

• Demonstrated experience in high-caliber engineering environments with a focus on technical excellence and innovative team leadership.

• Deep technical understanding of zero-knowledge proof cryptography and sub-topics such as polynomial commitment schemes, IOPs, constraint systems, etc.

• Concrete technical understanding of fundamentals of cryptography, such as public key cryptography, hash functions, and provable security

• Experiences of building efficient ZK circuit in a state of art proof systems, such as Plonky2/3, Halo2.

• Mastered at least one of the following system level programming languages, C/C++/Rust.

• Proficient in articulating complex technical ideas and solutions.

• Proven track record of effective team collaboration and leadership in technical projects.

• Strong track record of designing and building secure and reliable systems.

Nice to have:

• Proficient in one strongly typed functional programming language, such as Haskell/OCaml.

• Proven experience as a core contributor to high-quality open-source projects.

• Adaptability and effectiveness in rapidly growing environments.

• Background as a startup founder or early-stage engineer in a project.