# Zero-Knowledge Cryptogpraphic 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 zero-knowledge proof based cryptographic protocols.

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 blockchain scaling solutions using the state of art proof system
- Quickly prototype to validate design choices and decicisons
- 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 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.