Scientific & QA Jobs
Lean Theorem Proving Engineer, Verified Code Generation, DeepMind
Google • London, UK
Salary
£174k – £252k
Posted
13 October 2026
Work mode
Full-time
Sponsor match
high
Global Business Mobility: Senior or Specialist WorkerWorker (A (Premium))
Role overview
Google is hiring a Lean Theorem Proving Engineer, Verified Code Generation, DeepMind in London, a full-time scientific & qa role. The advertised salary is £174k – £252k. Google holds an active licence on the UK Home Office register of sponsors for the Global Business Mobility: Senior or Specialist Worker route, which means it can sponsor a visa for this hire if it chooses to.
info_outline X Note: By applying to this position you will have an opportunity to share your preferred working location from the following: London, UK; Mountain View, CA, USA . Minimum qualifications: PhD or equivalent experience in computer science or mathematics. 3 years of experience with the Lean proof assistant. 3 years of experience with using AI agents. Preferred qualifications: Experience with AI agents for code or mathematical reasoning tasks. Track record of publications at top resear…
Before you apply
Applying for this sponsor role?
Get your CV, cover letter, or full sponsor-job application pack prepared before you apply — or let our dedicated application team apply for suitable roles on your behalf.