Research Scientist - Verified Code & Formal Methods

Posted 1 hour 59 minutes ago by Google Inc.

Permanent

Full Time

Research Jobs

London, United Kingdom

Job Description

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.