Google DeepMind is seeking a talented researcher to formalize correctness and semantics in Lean with AI assistance from Mountain View, CA. You will work on verifying real-world codebases, translating languages like C/C++/Rust into Lean, and running large-scale experiments with AI-aided proof search.
Ideal candidates hold a PhD or equivalent in CS or mathematics and have 3+ years of experience with Lean and AI agents, plus a track record of publications in top venues.
#J-18808-LjbffrLean Theorem Prover Engineer: AI-Enhanced Code Verification in mountain view at Unknown Company
This position is listed as full time and onsite.