Government Careers

  • Lean Theorem Proving Engineer, Verified Code Generation, DeepMind

  • DeepMind
  • Mountain View, California 94039 United States View Map

Summary

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.

Job Description

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.

Government Careers

Government Careers

Government jobs offer stability, competitive benefits, and the chance to make a meaningful impact on your community and country.

Whether you’re starting your career or seeking new opportunities, these roles provide pathways for growth, security, and service.

Explore positions across a wide range of fields and take the first step toward a rewarding future in public service.

Show more
Apply Now

MORE JOBS

Show More