ZK Proof Engineer

About the company

• Axiom uses zero-knowledge proofs to enable verifiable and private software applications, starting with crypto and fintech
• Backed by top crypto investors; office in NYC with strong preference for in-person, open to remote
• Released OpenVM, a performant and modular zkVM framework

Responsibilities

• Implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation
• Build systems interfacing RISC-V ISA, LLVM compiler frameworks, and database backends with ZK proof systems
• Optimize ZK provers and implement novel ZK circuits

Requirements

• Strong background in math/cryptography or strong problem-solving skills and interest in ZK proofs
• Proficiency in Rust, C/C++, or similar performant backend language (primarily Rust)
• Detail oriented with a security mindset
• Eye for performance on challenging software projects
• Clear communicator, bias towards action

Conditions

• Competitive salary with equity
• One of the earliest employees with ownership of key technical/product decisions
• Mentorship from an exceptional team

Bonuses

• Experience with LLVM or MLIR
• Low-level computer architecture like RISC-V or FPGA programming
• Database backends, query planning or low-level query engines
• Research in mathematics, theoretical CS, or theoretical physics
• Low-level details of Ethereum