Lean Theorem Proving Engineer for Verified Codegen

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…