Google DeepMind is hiring for a research-heavy role spanning formal verification, programming languages, and AI-assisted proof systems. You will formalize correctness and security specs in Lean, encode the semantics of languages like C/C++/Rust, and run experiments on AI-driven auto-formalization.
The position emphasizes rigorous research, collaboration, and impact at scale. We value a PhD, strong Lean and AI-agent experience, and a track record in high-level research with potential
#J-18808-Ljbffr
The Lean Theorem Prover Engineer: Verified Code Gen position in the IT & Technology, Engineering field is open for applications.
The position is based in Greater London, England, United Kingdom.
This opportunity is part of our work in IT & Technology, Engineering.
The advertised compensation is 132.000 - 191.000.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.