Google DeepMind is seeking a researcher in formal verification and AI-driven proof systems. You will work on developing agents that generate formally verified code and proofs, using Lean and related tools, across languages like C/C++.
We encourage publishing and collaboration across interdisciplinary teams. The role emphasizes safety, ethics, and broad impact, with opportunities to contribute to scalable verification infrastructure and open mathematical benchmarks.
#J-18808-Ljbffr
AI Verification Scientist: Lean & Formal Methods in London employer: Google DeepMind
At Google DeepMind, we pride ourselves on being an exceptional employer, offering a dynamic work culture that fosters innovation and collaboration among interdisciplinary teams. Our commitment to employee growth is evident through varied learning opportunities and career pathways, all while working on groundbreaking AI research that aims to solve complex global challenges. Located in a vibrant tech hub, our team enjoys the unique advantage of contributing to meaningful projects that have a widespread public benefit, ensuring that safety and ethics remain at the forefront of our mission.
