ZK Proof Engineer
| Company | Axiom |
|---|---|
| Location | Remote in USA, New York, NY, USA |
| Salary | $125000 – $250000 |
| Type | Full-Time |
| Degrees | Bachelor’s |
| Experience Level | Mid Level, Senior |
Requirements
- strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs
- proficiency in Rust, C/C++, or a similarly performant backend language
- extremely detail oriented and have a security mindset
- experience on challenging software projects with an eye for performance
- clear communicator and value collaboration
- strong bias towards action
- extremely strong work ethic
Responsibilities
- implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation
- build systems to interface between low-level computer systems like the RISC-V ISA, compiler frameworks like LLVM, and database backends
- connect them with cutting-edge zero-knowledge proof systems
- optimize ZK provers and implement novel ZK circuits
- make design choices to enable rapid development of secure and efficient systems
Preferred Qualifications
- experience with compiler frameworks like LLVM or MLIR
- worked with aspects of low level computer architecture like RISC-V or programmed FGPAs or other custom hardware
- experience with database backends, including experience with query planning or low level query engines
- done research in mathematics, theoretical computer science, or theoretical physics
- experience with low-level details of Ethereum