remote
Research Scientist, Verified Code Generation, DeepMind
Research Engineer
Research Scientist role focused on verified code generation, applying formal methods, static analysis, and proof assistants to build reliable compilers and software verification tools.
About the role
Key Responsibilities
- Design and implement research prototypes for verified code generation and compiler pipelines.
- Develop and apply static analysis and abstract interpretation techniques to ensure program correctness.
- Use proof assistants such as Lean, Coq, or Isabelle to formalize language semantics and verify compiler transformations.
- Collaborate with cross‑functional teams to integrate verification methods into production‑grade systems.
- Publish research findings in top conferences and contribute to open‑source verification tools.
Requirements
- PhD in Computer Science, Programming Languages, Formal Methods, Software Engineering, or equivalent experience.
- 4+ years of experience in programming language semantics, static analysis, abstract interpretation, or software verification.
- At least 1 year of hands‑on experience with a proof assistant (e.g., Lean, Coq, Isabelle).
- Demonstrated ability to design and implement compiler components or verification frameworks.
- Strong publication record in relevant research areas is a plus.
Skills
machine learningnatural language processinglarge language model