Research Scientist, Verified Code Generation, DeepMind
- Hiring Organisation
- Jobleads-UK
- Location
- Greater London, England, United Kingdom
production codebases. Publication record at top formal methods and software security venues (e.g., POPL, PLDI, CCS, or S&P). Responsibilities Design and implement AI systems that produce formal proofs of code correctness, safety, and security using the Lean proof assistant. Formalize programming language semantics in Lean to enable verified … automated code analysis and generation. Build tools, libraries, and infrastructure to scale formal verification to large codebases. Collaborate with researchers and engineers across AI, security, and compiler infrastructure teams. US: $207000 - $301000 (USD) + 20% bonus target + equity + benefits. Location preferences: London, UK; Mountain View, CA, USA. ...