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

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

cryptographyzero-knowledge proofsRustC/C++LLVMMLIRRISC-VFPGA programmingdatabase backendsquery planning

Soft Skills

problem-solvingdetail orientedsecurity mindsetcollaborationstrong work ethicbias towards actionclear communication