ZK Proof Engineer

Job Overview

About Us 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’re looking for exceptional people who are excited to work on challenging and impactful problems in a fast-paced environment. Our office is in NYC and working in person in NY is our strong preference, but we're open to remote candidates as well.

Job Description

We recently released OpenVM , a performant and modular zkVM framework built for customization and extensibility. OpenVM allows developers to verify the correct execution of arbitrary computer programs in a flexible and performant way.

We are building ZK-enabled products using OpenVM and supporting teams building on OpenVM. The Role We are looking for a ZK Proof Engineer who will implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation.

The role will involve both optimizing ZK provers and implementing novel ZK circuits. Your work will require making design choices to enable rapid development of secure and efficient systems.

We are looking for someone with strong engineering design skills, the ability to work across the stack, and a security mindset. We also value the ability to make pragmatic technology choices which empower our small team without adding too much overhead.

Who you are You have a strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs. You have proficiency in Rust, C/C++, or a similarly performant backend language. We work primarily in Rust.

You are extremely detail oriented and have a security mindset. You’ve worked on challenging software projects and have an eye for performance. You’re a clear communicator and value collaboration. You have a strong bias towards action.

Key Responsibilities

• We are building ZK-enabled products using OpenVM and supporting teams building on OpenVM.
• You will be responsible for building systems to interface between low-level computer systems like the RISC-V ISA, compiler frameworks like LLVM, and database backends and connecting them with cutting-edge zero-knowledge proof systems.
• You will work with and receive mentorship from an exceptional team.

Required Skills and Qualifications

• About Us Axiom is using zero-knowledge proofs to enable new types of verifiable and private software applications, starting with crypto and fintech.
• The Role We are looking for a ZK Proof Engineer who will implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation.
• You will be responsible for building systems to interface between low-level computer systems like the RISC-V ISA, compiler frameworks like LLVM, and database backends and connecting them with cutting-edge zero-knowledge proof systems.
• We are looking for someone with strong engineering design skills, the ability to work across the stack, and a security mindset.
• Who you are You have a strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs.
• Bonuses You have experience with compiler frameworks like LLVM or MLIR.
• You have experience with database backends, including experience with query planning or low level query engines.
• You have experience with low-level details of Ethereum We welcome diverse backgrounds.

Benefits and Perks

• About Us 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 .
• The Role We are looking for a ZK Proof Engineer who will implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation.
• Who you are You have a strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs.
• Bonuses You have experience with compiler frameworks like LLVM or MLIR.
• You’ll be working on groundbreaking tech that has the potential to be a key piece of infrastructure for the crypto industry.

Work Location and Schedule

This role is listed as Remote USA with location information shown as Remote USA. The employment type is Full Time.

About the Company

Axiom is the organization connected with this listing. USA Jobs Today displays this opportunity for job discovery only, so applicants should verify company details, application instructions, and eligibility on the official employer website.