Research Scientist: Verified Code Gen & Lean Proofs
- Hiring Organisation
- Jobleads-UK
- Location
- Greater London, England, United Kingdom
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 ...