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.