ZK Proof Engineer

Axiom is at the forefront of blockchain technology, specializing in zero knowledge proofs to revolutionize smart contract applications. Recently launching OpenVM, a powerful zkVM framework, they're pushing the boundaries of what's possible in blockchain scalability and verification.

The ZK Proof Engineer role is a crucial position where you'll be working with cutting-edge cryptographic implementations and zero-knowledge proof systems. You'll be responsible for building sophisticated systems that bridge low-level computer architecture (RISC-V ISA), compiler frameworks (LLVM), and database backends with advanced zero-knowledge proof systems. This role demands both technical expertise in optimization and innovation in ZK circuit implementation.

The ideal candidate will bring a strong foundation in mathematics or cryptography, coupled with exceptional problem-solving abilities and a deep interest in zero-knowledge proofs. Proficiency in Rust (the primary language used) or similar systems programming languages is essential. The role requires meticulous attention to detail, a security-first mindset, and a proven track record with performance-critical software projects.

Joining Axiom means becoming part of a small but exceptional team backed by leading crypto investors. The company offers a unique opportunity to work on groundbreaking technology that could fundamentally impact the crypto industry's infrastructure. With founders from prestigious academic backgrounds and team members from top tech companies, Axiom provides an environment rich in learning and growth opportunities.

The position offers competitive compensation including equity, and while the office is based in NYC with a preference for in-person work, remote arrangements are possible for exceptional candidates. This is an opportunity to be among the earliest employees, with significant influence over technical and product decisions while working alongside industry experts who are pushing the boundaries of blockchain technology.