About the company
Axiom is using zero-knowledge proofs to enable new types of verifiable and private software applications, starting with crypto and fintech. We are a small but incredibly strong team backed by the best investors in crypto. We recently released OpenVM, a performant and modular zkVM framework built for customization and extensibility.
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 and 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 (we work primarily in Rust)
- Extremely detail oriented with a security mindset
- Worked on challenging software projects with an eye for performance
- Clear communicator and value collaboration
- Strong bias towards action and extremely strong work ethic
Conditions
- Office in NYC, in-person strongly preferred, but open to remote candidates
- Competitive salary with equity
- One of the earliest employees with ownership to make key technical/product decisions
- Work on groundbreaking tech with potential to be key infrastructure for crypto industry
- Mentorship from an exceptional team