Lean Theorem Proving Engineer, Verified Code Generation, DeepMind
GoogleMid
- Posted
- 12 Oct 2026
- Location
- London, UK · Mountain View, CA, USA
- Role
- Other engineering
- Experience
- 3+ years
- Degree
- PhD
- Skills
- C++Rust
- Salary
- $174,000 – $252,000 / year, before tax
The full description is on Google's site.