Senior zkEVM Engineer
New York
Engineering /
Senior zkEVM Engineer /
Remote
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 (zk)EVM 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 a new (zk)EVM. You are expected to use the latest zkVM to develop the next generation zkEVM for NEBRA's rollup stack (NEBRA OS).
See this DBA Research Day Talk: https://www.youtube.com/watch?v=CF-F-jbA630
In this role, you will:
- Join the process of designing and implementing NEBRA zkEVM, the next generation of zkEVM based on zkVM
- Quickly prototype to validate design choices and decisions
- Work on the specs and open sourced implementations of NEBRA zkEVM.
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.
- Expertise in VM (Virtual Machine) execution, could be EVM or any industrial strength VM such as WASM, eBPF etc.
- Practical knowledge of Ethereum consensus, DA, light client, smart contracts.
- 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 haves:
- 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.
