Job Description
Google Inc. is hiring for an experienced engineer focused on formal methods and AI systems. The role involves designing systems that produce formal proofs of code correctness and collaborating across teams in London, UK. A PhD in computer science and experience in static analysis or software verification are required.
The position offers a competitive salary between $207,000 and $301,000 (USD), a 20% bonus target, equity, and extensive benefits. Candidates have the flexibility to work either in London or Mountain View.
#J-18808-Ljbffr
Ready to Apply?
Submit your application today and join our talented team at Jobleads-UK.
Submit ApplicationJob Details
- Location Greater London, England
- Job Type Full-time
- Category other-general
- Posted Date July 01, 2026
- Application Deadline August 10, 2026