About this role
Research Scientist, Verified Code Generation, DeepMind at DeepMind. Location: London or Mountain View. Role: designing systems, formalizing semantics, prototyping techniques Requirements: PhD (or equivalent) in CS or related; 4+ years in PL semantics/static analysis/software verification or theorem proving; 1+ year with a proof assistant (Lean/Coq/Isabelle); experience with LLVM/GCC, Lean4 and LLMs preferred. Category: Research and Development (R&D) Seniority: Senior Level Tools: Lean, Lean 4, Coq, Isabelle, Low Level Virtual Machine (LLVM), GNU Compiler Collection (GCC), Large Language Model (LLMs) Commitment: Full Time Workplace: Onsite Languages: English