Hybrid ZK Proof Engineer

at XYZ

• Job title: ZK Proof Engineer
• Job type: Full Time
• Experience level: Mid level, Senior
• Salary: $125,000 - $250,000 per year
• Degree requirement: Bachelor's Degree
• Tech skills: Rust
• Location requirements: Hybrid, New York City, United States

About the role

• ZK Proof Engineer implementing and optimizing cryptographic code for zero-knowledge proof generation at Axiom. Building systems to interface with low-level computer systems and cutting-edge ZK proof systems.

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.

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 and have an eye for performance.
• Clear communicator and value collaboration.
• Strong bias towards action.
• Extremely strong work ethic.
• Experience with compiler frameworks like LLVM or MLIR is a bonus.
• Worked with aspects of low level computer architecture like RISC-V or programmed FGPAs or other custom hardware is a bonus.
• Experience with database backends, including experience with query planning or low level query engines is a bonus.
• Research in mathematics, theoretical computer science, or theoretical physics is a bonus.
• Experience with low-level details of Ethereum is a bonus.

Benefits

• Competitive salary with equity
• Mentorship from an exceptional team