Lean Theorem Prover Engineer: Verified Code Gen

Google · London, England · 1 week ago

Last confirmed by our partners on 23 Oct 2026.

Apply on partner site You apply on the advertiser's own site — nothing is stored here.

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

Apply on partner site Listing supplied by one of our partner job boards. Last confirmed: 1 week ago.

Report this job

Market data from EasyWorkClub, not from the employer

More openings at Google

158 other openings we list

Engineering Manager, AGSA Web Platform · London
Data Analytics Sales Manager, Google Cloud · London
Forward Deployed Engineering Manager, Generative AI, Google Cloud · London
Research Scientist, Human Data, Robotics, DeepMind · London

More jobs with this title

Lean Theorem Proving Engineer, Verified Code Generation, DeepMind Google LLC · 1 week ago Lean Theorem Proving Engineer, Verified Code Generation, DeepMind DeepMind Technologies Limited · 1 week ago Systems Proving Engineer Copello · 1 week ago Systems Proving Engineer Eclectic Recruitment Ltd · 2 weeks ago Verification Engineer to Senior Verification Engineer American Bureau of Shipping · 1 week ago Verification Engineer to Senior Verification Engineer ABS Group · 1 month ago Verification Engineer Jonathan Lee Recruitment · 1 week ago Verification Engineer Profile 29 · 2 weeks ago