ZK Proof Engineer

Axiom is hiring a ZK Proof Engineer to implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation. The role involves building systems to interface between low-level computer systems and zero-knowledge proof systems, and making 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 a security mindset
• Experience with compiler frameworks like LLVM or MLIR
• Experience 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
• Research in mathematics, theoretical computer science, or theoretical physics
• Experience with low-level details of Ethereum

Benefits

• Competitive salary with equity
• Ownership to make key technical/product decisions
• Working with and receiving mentorship from an exceptional team
• Groundbreaking tech with potential to be a key piece of infrastructure for the crypto industry