Lean Theorem Proving Engineer, Verified Code Generation, DeepMind

Google · London, UK

Verified and listed by ActiveJobs. Applications are made directly on Google's own career page — we never sit in the middle.