almost 4 years ago
Remote, United States or New York, NY, USAMid Level
Base Salary
$125k - $250k/yr
Responsibilities
- Implement and optimize cryptographic code for zero-knowledge proof generation.
- Build systems connecting the RISC-V ISA, compiler frameworks, database backends, and zero-knowledge proof systems.
- Optimize ZK provers and implement novel ZK circuits.
- Make design choices that enable rapid development of secure and efficient systems.
- Support ZK-enabled products built with OpenVM and teams building on OpenVM.
Requirements
- Strong background in mathematics or cryptography, or strong problem-solving skills and interest in zero-knowledge proofs.
- Proficiency in Rust, C/C++, or a similarly performant backend language; Axiom primarily uses Rust.
- Experience working on challenging software projects with a focus on performance.
- Strong engineering design skills, security mindset, attention to detail, communication, collaboration, and bias toward action.
- Preferred experience includes LLVM or MLIR, RISC-V, FPGAs or custom hardware, database backends, query planning or low-level query engines, mathematics or theoretical computer science research, and low-level Ethereum details.
Benefits
- Competitive salary with equity and mentorship from an exceptional team.
- NYC office with a strong preference for in-person work, while remote candidates are also considered.
- Opportunity to join as one of the earliest employees and influence key technical and product decisions.
About Axiom
Axiom is building the infrastructure for zero-knowledge proofs powered by OpenVM. With $20M raised led by Paradigm and Standard Crypto, Axiom's technologies power applications from rollups to decentralized exchanges.