ZK Proof Engineer at Axiom

At Axiom, we are dedicated to unlocking the potential of verifiable and private software through the power of zero-knowledge proofs. Our team is small, highly focused, and backed by some of the most prominent investors in the crypto space. We recently launched OpenVM, a modular and high-performance zkVM framework designed to help developers verify the execution of arbitrary programs with ease. We are looking for talented individuals who thrive in fast-paced environments and are eager to tackle the most challenging problems in the fintech and crypto sectors.

About the Role

We are seeking a Senior ZK Proof Engineer to join us in a full-time capacity. In this role, you will be at the forefront of implementing and optimizing sophisticated cryptographic code for zero-knowledge proof generation. You will bridge the gap between low-level systems, such as the RISC-V ISA, and advanced compiler frameworks like LLVM, while integrating these with our database backends. This position is hybrid, with a strong preference for in-person collaboration at our NYC office, though we are open to remote candidates as well.

Key Responsibilities

• Build and maintain robust systems that interface between low-level computer architectures and cutting-edge zero-knowledge proof systems.
• Optimize ZK provers and implement novel ZK circuits to ensure our infrastructure remains both secure and highly performant.
• Make strategic design decisions that allow our team to develop and deploy complex systems rapidly without unnecessary overhead.

Requirements

To be successful in this role, you should possess a strong background in mathematics or cryptography, or demonstrate exceptional problem-solving abilities paired with a deep interest in zero-knowledge proofs. We prioritize candidates who have the following qualifications:

• Proficiency in Rust, C, or C++, with a primary focus on Rust in our daily development.
• A rigorous security mindset and extreme attention to detail when building software.
• Proven experience working on complex, high-performance software projects.
• Strong communication skills and a collaborative approach to engineering.
• A proactive, action-oriented work ethic.
• Bonus points if you have experience with compiler frameworks like LLVM or MLIR, low-level architecture like RISC-V, database query engines, or Ethereum internals.

Location

This position is available anywhere, with a preference for those who can work from our office in New York City.

Compensation and Benefits

We believe in rewarding our team for their contributions to our groundbreaking technology. As an early member of our team, you will enjoy the following benefits:

• The opportunity to make significant technical and product decisions with true ownership.
• Mentorship from an exceptional team of experts with backgrounds in math, physics, and top-tier engineering firms.
• Flexible hybrid and remote work arrangements.
• A competitive salary package that includes equity in the company.