Research Scientist, Verified Code Generation, DeepMind

Google

Mountain View, CA, USA

Apply Now

AI Resume Tailoring Sign in to use this AI Cover Letter Sign in to use this

Job Description

Develop and improve AI agents that generate formally verified code, algorithms, and mathematical proofs using the Lean proof assistant.
Formalize the semantics of programming languages (e.g., C/C++) in Lean and build verified static analyses on top of these formalizations.
Design and run experiments evaluating AI-driven proof search, including benchmarking against open problems in mathematics and real-world codebases.
Build infrastructure for applying formal verification at scale, translating code, orchestrating proof search, and integrating with Google-internal tools and models.

Minimum qualifications:

PhD degree in programming languages, formal methods, or a related area, or equivalent practical experience.
4 years of experience with real-world software verification and bug-finding.
3 years of experience with proof assistants (Lean, Rocq, or similar) or SMT-solvers.

Preferred qualifications:

Experience with formalizing the semantics of real-world languages.
Track record of publications at top computer science venues.

PhD degree in programming languages, formal methods, or a related area, or equivalent practical experience.
4 years of experience with real-world software verification and bug-finding.
3 years of experience with proof assistants (Lean, Rocq, or similar) or SMT-solvers.

Do you match this job?

Here is what this employer asked for. Sign in and we will fill in your half.

Role Research Scientist, Verified Code Generation, DeepMind
Experience 3-4 years
Education Any
Work type On-site
Location United States

Check my match (free)

Google

AI Research Lab · 500+ Members · Mountain View, CA, United States

Google builds internet, software, cloud, and AI products used by consumers, developers, and organizations. Its portfolio includes Search, YouTube, Android, Chrome, Maps, Gmail, Workspace, Google Cloud, advertising platforms, devices, and Gemini AI products. The company develops large-scale computing infrastructure and research that power information retrieval, communication, productivity, media, navigation, and machine learning. Google is the largest operating business within Alphabet and earns a substantial share of its revenue from digital advertising.

All jobs at Google

28 more Research Scientist roles in Mountain View

Job Overview

Approx. salary range

265K – 404K

Our estimate — this employer did not publish a salary

Our estimate, not the employer’s. Worked out from the middle half of 83 comparable roles on Neural Jobs that did publish a salary, in the same field, country and experience band. The real figure for this job may be different.

Eligibility

United States Right to work in the United States required.

Workplace

On-site

Job Posted:

1 week ago

Job Type

Full Time

Education

Any

Experience

3-4 years

AI jobs by city