Lean Theorem Proving Engineer, Verified Code Generation, DeepMind
Job Titleinfo_outline X Note: By applying to this position you will have an opportunity to share your preferred working location from the following: London, Uk; Mountain View, Ca, Usa.
Minimum Qualifications:
PhD or equivalent experience in computer science or mathematics.3 years of experience with the Lean proof assistant.3 years of experience with using AI agents.
Preferred Qualifications:
Experience with AI agents for code or mathematical reasoning tasks. Track record of publications at top research venues.