ZK Proof Engineer (Rust) – High-Impact Cryptography

Jobicy; United States; Hybrid; USD 180,000 - 260,000; Full time

Job summary

Axiom is hiring a ZK Proof Engineer to implement and optimize cryptographic code for zero‑knowledge proof generation. You will connect low‑level hardware like RISC‑V with compilers such as LLVM and database backends to cutting‑edge ZK systems.

We value strong math/cryptography skills, experience in Rust or C/C++, and a security mindset. You will work across the stack in a fast-paced environment with a bias toward pragmatic, secure design.

Qualifications

• Strong background in math/cryptography or strong problem-solving skills with interest in zero-knowledge proofs.
• Proficiency in Rust, C/C++, or similar performant backend language (Rust preferred).
• Extremely detail oriented with a security mindset.
• Experience on challenging software projects with a focus on performance.

Responsibilities

• Implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation.
• Build systems interfacing low-level hardware like RISC-V with LLVM, OpenVM-like frameworks, and database backends to ZK systems.
• Optimize ZK provers and implement novel ZK circuits; make pragmatic design choices for rapid development.

Skills

Math/cryptography

Rust/C/C++

Security mindset

Detail oriented

Communication

Bias toward action

Problem solving

Tools

LLVM

MLIR

RISC-V

FPGA

Rust

Job description

Axiom is hiring a ZK Proof Engineer to implement and optimize cryptographic code for zero‑knowledge proof generation. You will connect low‑level hardware like RISC‑V with compilers such as LLVM and database backends to cutting‑edge ZK systems.

We value strong math/cryptography skills, experience in Rust or C/C++, and a security mindset. You will work across the stack in a fast-paced environment with a bias toward pragmatic, secure design.