Verification Engineer

The Verification Engineer at SASH builds and tests tools to verify agreements about AI, focusing on zero-knowledge proofs to enable trustworthy adoption of AI in high-stakes industries. The role involves driving down proving costs, closing the gap between current proofs and frontier inference, and ensuring systems are reliable for policymakers and technical staff. This position requires collaboration with hardware-security, systems colleagues, and external cryptographers to publish and refine verification mechanisms.