Research Scientist, Verified Code Generation, DeepMind — Google DeepMind | cvGO!

Google DeepMind · London, England, United Kingdom · Remote · 207000 USD

### About the Role Research Scientist for Verified Code Generation at Google DeepMind. Focus on AI-driven formal verification of code correctness, safety, and security using the Lean proof assistant. ### Responsibilities - Design and implement AI systems for formal proofs of code correctness, safety