# (zk)EVM Engineer

### About NEBRA

NEBRA is a research & development organization working to make the zero-knowledge future a reality. We are building technologies, infrastructure, and products to realize a proof centric future on blockchains.

NEBRA was founded on August 2023 by a group of upper case researchers, engineers, and product builders. NEBRA has been funded by Nascent, a16z, Bankless and angel investment from many industry leaders, including Nick White from Celestia, Zac Williamson from Aztec, Sandy/Haichen from Scoll, Tim Beiko from Ethereum Foundation.

NEBRA released the first product, a universal proof aggregtion protocol (NEBRA UPA) that scales ZKP verification more than 10x on Ethereum/Ethereum L2s, on March 2024. This marked the humble beginning of our journey and there are more exciting products in the pipeline.

### 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 decicisons
- 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.
- Pratical 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.