Research Scientist – Verified Code & Formal Methods

Google DeepMind is seeking a Research Scientist for Verified Code Generation. You will develop AI agents that generate formally verified code, algorithms, and proofs, with opportunities to work from London, UK or Mountain View, CA.

A PhD in programming languages or formal methods is required, plus experience in software verification and proof assistants. You will formalize language semantics and build scalable verification infrastructure, contributing to world‑class AI research.

#J-18808-Ljbffr…