Google DeepMind is seeking a world-class researcher to advance formal verification using Lean and AI agents. A PhD in computer science or mathematics and at least three years of experience with Lean and AI agents are required.
The role focuses on correctness, security specs, and applying auto-formalization to real-world codebases. The team collaborates across global groups to push scientific discovery and safe AI.
#J-18808-Ljbffr
This role, Lean Theorem Proving Engineer for Verified Codegen at DeepMind Technologies Limited, could be your next career step.
We would love to welcome a new Lean Theorem Proving Engineer for Verified Codegen to our team in Greater London, England, United Kingdom.
For the Lean Theorem Proving Engineer for Verified Codegen position at DeepMind Technologies Limited, we are reviewing applications now.
Step into the Lean Theorem Proving Engineer for Verified Codegen role at DeepMind Technologies Limited in Greater London, England, United Kingdom and grow with us.