About this opportunity
DeepMind Technologies Limited lists this Lean Theorem Prover Engineer: AI-Enhanced Code Verification opportunity in mountain view, California. Review the employer’s description below for duties, qualifications and application requirements.
Job description
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-Ljbffr
Worksite address
mountain view, CA, 94039, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.