Hybrid ZK Proof Engineer

Posted yesterday

Apply now

About the role

  • ZK Proof Engineer implementing and optimizing cryptographic code for zero-knowledge proof generation at Axiom. Building systems to interface with low-level computer systems and cutting-edge ZK proof systems.

Responsibilities

  • Implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation.
  • Build systems to interface between low-level computer systems like the RISC-V ISA, compiler frameworks like LLVM, and database backends.
  • Connect them with cutting-edge zero-knowledge proof systems.
  • Optimize ZK provers and implement novel ZK circuits.
  • Make design choices to enable rapid development of secure and efficient systems.

Requirements

  • Strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs.
  • Proficiency in Rust, C/C++, or a similarly performant backend language.
  • Extremely detail oriented and have a security mindset.
  • Experience on challenging software projects and have an eye for performance.
  • Clear communicator and value collaboration.
  • Strong bias towards action.
  • Extremely strong work ethic.
  • Experience with compiler frameworks like LLVM or MLIR is a bonus.
  • Worked with aspects of low level computer architecture like RISC-V or programmed FGPAs or other custom hardware is a bonus.
  • Experience with database backends, including experience with query planning or low level query engines is a bonus.
  • Research in mathematics, theoretical computer science, or theoretical physics is a bonus.
  • Experience with low-level details of Ethereum is a bonus.

Benefits

  • Competitive salary with equity
  • Mentorship from an exceptional team

Job title

ZK Proof Engineer

Job type

Experience level

Mid levelSenior

Salary

$125,000 - $250,000 per year

Degree requirement

Bachelor's Degree

Tech skills

Location requirements

Report this job

See something inaccurate? Let us know and we'll update the listing.

Report job