Remote-Friendly ZK Proof Engineer (Rust/C++)

Axiom is seeking a ZK Proof Engineer to implement and optimize cryptographic code for zero-knowledge proof generation. You will bridge low-level hardware interfaces with compiler frameworks and database backends to enable fast, secure ZK systems.

You will optimize provers, implement new ZK circuits, and influence design choices to build scalable, private software infrastructure in a fast-paced crypto fintech environment. Strong math/crypto background and Rust proficiency are essential.