ZK Proof Engineer
ZK Proof Engineer
Axiom
Axiom is a pioneering company utilizing zero-knowledge proofs to create innovative and private software applications in the crypto and fintech sectors. They are seeking a ZK Proof Engineer to optimize cryptographic code and build systems interfacing with low-level computer systems and zero-knowledge proof systems. The role emphasizes strong engineering design skills, a security mindset, and collaboration within a small, dynamic team.
Qualification
- Strong background in math/cryptography or problem-solving skills with interest in zero-knowledge proofs
- Proficiency in Rust, C/C++, or a similarly performant backend language
- Detail-oriented with a security mindset
- Experience with challenging software projects and performance optimization
- Strong communication skills and collaborative mindset
Responsibility
- Implement and optimize cryptographic code for zero-knowledge proof generation
- Build systems to interface between low-level computer systems and zero-knowledge proof systems
- Optimize ZK provers and implement novel ZK circuits
- Make design choices for rapid development of secure and efficient systems
- Collaborate with team members and communicate effectively
