AI Verification Scientist: Lean & Formal Methods

Google DeepMind is seeking a researcher in formal verification and AI-driven proof systems. You will work on developing agents that generate formally verified code and proofs, using Lean and related tools, across languages like C/C++.

We encourage publishing and collaboration across interdisciplinary teams. The role emphasizes safety, ethics, and broad impact, with opportunities to contribute to scalable verification infrastructure and open mathematical benchmarks.