-
Interest in lab-automation and working with agentic AI (e.g. Claude Code, Codex) Excellent communication skills in English Strong academic track-record and publication history The ability to collaborate in a
-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
and working with agentic AI (e.g. Claude Code, Codex) Excellent communication skills in English Strong academic track-record and publication history The ability to collaborate in a multidisciplinary
-
research is built around three intertwined questions: how to measure and understand behavior with AI, how brains and embodied agents learn to control the body, and how the brain builds a sense of its body