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
Lean Theorem Proving Engineer for Verified Codegen employer: DeepMind Technologies Limited
At Google DeepMind, we pride ourselves on being an exceptional employer, offering a dynamic work culture that fosters innovation and collaboration in the heart of London. Our commitment to employee growth is evident through hands-on opportunities in a fast-paced environment, where you can take on diverse projects and leverage cutting-edge AI tools. With a focus on diversity and inclusion, we ensure that every team member's voice is heard, making it a truly rewarding place to advance your career while contributing to meaningful advancements in artificial intelligence.
Contact Details:
DeepMind Technologies Limited Recruitment Team
