[Skip to main content](#main-content)

[OpenNash Jobs](https://jobs.opennash.com/)
[Hiring report](/reports/hiring/) · [All Alphabet jobs](https://jobs.opennash.com/companies/alphabet/) · [Search jobs](/search/)

Alphabet · London, UK +1 more

# Lean Theorem Proving Engineer, Verified Code Generation, DeepMind

London, UK +1 more Operations 

Listed on Alphabet’s official careers site. Listed as of October 13, 2026. Check that it is still open and apply there.
[Apply on Alphabet’s careers site →](https://www.google.com/about/careers/applications/jobs/results/72320887935640262-lean-theorem-proving-engineer-verified-code-generation-deepmind)

[OpenNash Jobs](https://jobs.opennash.com/) / [Alphabet](https://jobs.opennash.com/companies/alphabet/) / Lean Theorem Proving Engineer, Verified Code Generation, DeepMind

## Job description

info_outline 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 diverse learning opportunities and varied career pathways for those driven to achieve exceptional results through collective effort.

## At a glance
- Posted by the employer: Not stated
- First seen by OpenNash: Oct 13, 2026
- Last checked: Oct 13, 2026
- Listed for: Under a day
- Location: London, UK +1 more[Apply on Alphabet’s careers site →](https://www.google.com/about/careers/applications/jobs/results/72320887935640262-lean-theorem-proving-engineer-verified-code-generation-deepmind)

## More jobs at Alphabet

### [Research Scientist, Human-AI Interaction, DeepMind](https://jobs.opennash.com/companies/alphabet/jobs/b7e796b2f1f0635841d0/)

London, UK +1 more

### [Software Engineer, Model Inference, DeepMind](https://jobs.opennash.com/companies/alphabet/jobs/1370ea00de753573bea9/)

London, UK +1 more

### [AI Application Engineer](https://jobs.opennash.com/companies/alphabet/jobs/90af1c5d8dbb1e471b2c/)

New Taipei, Banqiao District, New Taipei City, Taiwan

### [AI Customer Engineer, AI Platform, Google Cloud (Japanese)](https://jobs.opennash.com/companies/alphabet/jobs/da9eb315a86dd3ec5cdc/)

Tokyo, Japan

### [AI Customer Engineer, Digital Natives, Google Cloud](https://jobs.opennash.com/companies/alphabet/jobs/b4b2e1683586d75c90b7/)

Bengaluru, Karnataka, India

## Similar jobs at other companies

### [Lean Solutions](https://jobs.opennash.com/companies/fastenal/jobs/fd1ac426e0e73bacdb17/)

Fastenal · Fond Du Lac, TBD, WI

### [Lean Six Sigma/Continuous Improvement Site Lead](https://jobs.opennash.com/companies/lockheed-martin/jobs/7ba044308427ef97d4bd/)

Lockheed Martin · Chelmsford, MA

### [Lean Advisor I](https://jobs.opennash.com/companies/deutsche-post/jobs/ac607eb2e5f40797f1cd/)

Deutsche Post · Westerville, Ohio, United States of America

### [OpEx Lean - Continuous Improvement Technician- 1st Shift](https://jobs.opennash.com/companies/trane-technologies/jobs/155837f7559444b625c0/)

Trane Technologies · Grand Rapids, Michigan, United States of America

### [Senior Process Engineer - Lean Manufacturing](https://jobs.opennash.com/companies/honeywell-international/jobs/3ad85156d7a205c4339d/)

Honeywell International · Arvada, CO, United States

OpenNash lists jobs from employers’ own careers sites and does not handle applications.
Dates come from the employer where stated; “first seen” and “last checked” are our own observations.

OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)