Research Scientist, Verified Code Generation, DeepMind

Qualifications

• PhD degree in computer science, programming languages, formal methods, software engineering, or a related technical field, or equivalent practical experience.
• 4 years of experience in one or more of the following: programming language semantics, static analysis, abstract interpretation, software verification, or interactive theorem proving.
• 1 year of experience with a proof assistant (Lean, Coq, Isabelle, or similar).

Preferred qualifications

• 2 years of experience with compiler infrastructure (Low Level Virtual Machine (LLVM) or GNU Compiler Collection (GCC or programming language formalization.
• 1 year of experience with large language models or machine learning for code or reasoning tasks.
• 1 year of experience in memory safety analysis, vulnerability research, or systems security.
• 1 year of experience with Lean 4.
• Experience building and scaling software verification tools for 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 static analysis of real world codebases.
• Prototype and evaluate novel techniques combining large language models with formal verification for 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. You can choose your preferred working location at time of application.

Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents to be, criminal histories consistent with legal requirements, or any other basis protected by law.

Google is a global company and, in order to facilitate efficient collaboration and communication globally, English proficiency is a requirement for all roles unless stated otherwise in the job posting.