-
and proofs, and performance benchmarking Develop and maintain agentic AI pipelines for specification autoformalization, proof generation, and proof repair Write documentation, procedures, and
-
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
-
positions cover the full stack of biological foundation model research: from core architecture design and pretraining at scale to integration into agentic interfaces. Both roles involve close collaboration
-
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
-
tools (e.g. Prometheus, Grafana). Providing support and consultation for clients. Leveraging Agentic Workflows: Proactively utilizing advanced development tooling (e.g., GitHub Copilot, internal LLM