Leave us your email address and we'll send you all the new jobs according to your preferences.
Research Scientist - Verified Code & Formal Methods
Posted 1 hour 25 minutes ago by Google Inc.
Permanent
Full Time
Research Jobs
London, United Kingdom
Job Description
Google DeepMind is seeking a Research Scientist for Verified Code Generation. You will develop AI agents that generate formally verified code, algorithms, and proofs, with opportunities to work from London, UK or Mountain View, CA.
A PhD in programming languages or formal methods is required, plus experience in software verification and proof assistants. You will formalize language semantics and build scalable verification infrastructure, contributing to world class AI research.
Google Inc.
Related Jobs
Biomarker Research Scientist - Evidence to Practice Leader
- Midlothian, Edinburgh, United Kingdom, EH120
Genomics Research Scientist
- Midlothian, Edinburgh, United Kingdom, EH120
Senior Staff Research Scientist - Real-Time Voice AI
- London, United Kingdom
Research Scientist
- London, United Kingdom
Research Scientist, Verified Code Generation, DeepMind
- London, United Kingdom