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 QualificationsPhD 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 QualificationsExperience with AI agents for code or mathematical reasoning tasks.Track record of publications at top research venues.
Lean Theorem Proving Engineer, Verified Code Generation, DeepMind in mountain view at Unknown Company
This position is listed as full time and onsite.