Research Scientist, Verified Code Generation

Google DeepMind • LLM & Generative AI • Foundation Models • Doctoral Degree (PhD) • C++ • 8 hours ago
Apply now
Similar jobs
778,720open jobs
48,939companies
119,268added this week
Browse all
Salary
≈ $162k – $315k per year (Estimated)
Location
In office (Mountain View)
Seniority
Middle · 4+ years exp

Confirmed on the employer's own hiring board on Sep 25, 2026. First seen by Alion on Sep 4, 2026. Google DeepMind scores B on the Alion truth index.

Overview
Company
Impact
Profile match

Google DeepMind

Google DeepMind is the artificial intelligence research and engineering division of Alphabet, formed in 2023 by merging the London laboratory founded in 2010 with the Google Brain team. It builds frontier foundation models such as the Gemini family, generative media systems including Veo and Imagen, and scientific tools like AlphaFold, whose protein structure predictions earned a share of the 2024 Nobel Prize in Chemistry. The unit pairs long-horizon research on reinforcement learning and general intelligence with product delivery across Google Search, Workspace, Android and Google Cloud.
deepmind.google • HQ: London, United Kingdom • LLM & Generative AI • AI for Science • Foundation Models • AI Research Labs • 1001-5000 employees • Est. 2010

About the job

Artificial intelligence will be one of humanity’s most transformative inventions. At Google DeepMind, we are a pioneering AI lab with exceptional interdisciplinary teams focused on advancing AI development to solve complex global challenges and accelerate high-quality product innovation for billions of users. We use our technologies for widespread public benefit and scientific discovery, ensuring safety and ethics are always our highest priority.

We are pushing the boundaries across multiple domains. Our global teams offer various learning opportunities and varied career pathways for those driven to achieve exceptional results through collective effort.Individual pay is determined by factors including job-related skills, experience, and relevant education or training.

US: $174000 - $252000 (USD) + 15% bonus target + equity + benefits

Learn more about benefits at Google.

Responsibilities

  • 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.

Qualifications

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.
Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
778,720 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

AI/ML
Similar stack
Same company
Mountain View
≈ $155k – $281k per year (Estimated) • Hybrid • 5+ years exp • New York
Python
SQL
AI/ML
Prompt Engineering
AI Agents
LLM
RAG
Human-in-the-Loop
LLM Guardrails
Agentic Workflows
Apply
$77k per year • Remote (United States) • Full-Time • Bachelor's Degree • Dallas
Python
SQL
AI/ML
Prompt Engineering
RAG
OpenAI
Machine Learning
DevOps
GCP
Azure
CI/CD
Git
AWS
Docker
Analytics
ETL/ELT
Management
Agile
Apply
≈ $139k – $244k per year (Estimated) • Remote (United States, ET hours) • Full-Time
JavaScript
TypeScript
Node JS
Databases
PostgreSQL
AI/ML
Cursor
LangChain
Claude Code
LLM
RAG
Reranking
Human-in-the-Loop
Frontend
GraphQL
React.js
Mobile
React Native
Expo
DevOps
Rest API
CI/CD
AWS
Management
n8n
Apply
$150k – $350k per year • Equity 0.3–1.2% • In office • Full-Time • 1+ year exp • Bachelor's Degree • San Francisco
Python
Databases
FAISS
AI/ML
Multimodal AI
AI Agents
Computer Use
Machine Learning
Apply
$150k – $300k per year • Equity 1–5% • In office • Full-Time • 3+ years exp • San Francisco
AI/ML
Claude Code
DevOps
Terraform
Kubernetes
Apply
≈ $74k – $143k per year (Estimated) • In office • Full-Time • 4+ years exp • Bachelor's Degree • United Kingdom
AI/ML
AI Agents
Marketing
Salesforce
Apply
≈ $115k – $224k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • United States
AI/ML
AI Agents
Apply
≈ $83k – $175k per year (Estimated) • Hybrid • Full-Time • 5+ years exp • Ireland
AI/ML
AI Agents
LLM
LLM Guardrails
DevOps
CI/CD
AWS
Platform Engineering
FinOps
Management
Confluence
Jira
Agile
Apply
Remote (South Africa) • Full-Time • PhD • South Africa
AI/ML
AI Agents
Agentforce
Marketing
Salesforce
Apply
≈ $57k – $144k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Dublin
AI/ML
AI Agents
Agentforce
Apply
≈ $186k – $381k per year (Estimated) • In office • 10+ years exp • New York
Python
Julia
AI/ML
Machine Learning
DevOps
GCP
Apply
≈ $132k – $298k per year (Estimated) • In office • 1+ year exp • PhD • Mountain View
AI/ML
Reinforcement Learning
AI Agents
Gemini
LLM
SFT
Post-training
Reward Modeling
Machine Learning
Apply
≈ $173k – $335k per year (Estimated) • In office • 3+ years exp • Bachelor's Degree • San Francisco
Python
Julia
AI/ML
Machine Learning
Apply
≈ $120k – $270k per year (Estimated) • In office • 2+ years exp • PhD • New York
AI/ML
Multimodal AI
AI Agents
Gemini
LLM
Synthetic Data
Agentic Workflows
Apply
≈ $172k – $371k per year (Estimated) • In office • Bachelor's Degree • Mountain View
Python
Go
C++
AI/ML
Fine-tuning
Reinforcement Learning
AI Agents
Machine Learning
Apply
≈ $180k – $327k per year (Estimated) • In office • 8+ years exp • Bachelor's Degree • Mountain View
Python
AI/ML
AI Agents
NLP
TensorFlow
PyTorch
Machine Learning
Apply
≈ $171k – $369k per year (Estimated) • In office • Mountain View
AI/ML
Gemini
LLM
Synthetic Data
Machine Learning
Apply
≈ $126k – $285k per year (Estimated) • In office • 2+ years exp • Mountain View
Python
AI/ML
Spark
Reinforcement Learning
AI Agents
TensorFlow
PyTorch
Gemini
Hallucination
SFT
Post-training
Machine Learning
Apply
≈ $172k – $371k per year (Estimated) • In office • Bachelor's Degree • Mountain View
Python
C++
AI/ML
Fine-tuning
RLHF
Multimodal AI
AI Agents
RAG
SFT
Human-in-the-Loop
Agentic Workflows
RLAIF
Machine Learning
Apply
≈ $135k – $305k per year (Estimated) • In office • 1+ year exp • PhD • Mountain View
AI/ML
RLHF
Reinforcement Learning
Gemini
LLM
DPO
SFT
PPO
Post-training
Machine Learning
Apply
See all jobs
This is one of many
778,720 more open roles from verified company boards, updated every day.
Browse all jobs Get matched roles