Renata
Back to jobs
Dahl Consulting

Research Scientist, Verified Code Generation, DeepMind

Dahl Consulting
Posted Today
Apply NowAsk Renata

Job Description

  • Design and implement AI systems that produce formal proofs of code correctness, safety, and security using the Lean proof assistant.
  • Formalize programming language semantics in Lean to enable verified static analysis of real-world codebases.
  • Prototype and evaluate novel techniques combining Large Language Model (LLMs) with formal verification for automated code analysis and generation.
  • Build tools, libraries, and infrastructure to scale formal verification to large codebases.
  • Collaborate with researchers and engineers across AI, security, and compiler infrastructure teams.

See Your Match Score

Sign up and Renata will show you how this job matches your skills and experience.

Get Started Free
About Dahl Consulting
Website
Research Scientist, Verified Code Generation, DeepMind at Dahl Consulting | Renata