Formal Methods Research and Development

About the position We're opening our first internships in the Formal Methods group of our OCaml Language team, which develops language features and tooling for correctness reasoning and bug finding in OCaml programs. With the emergence of agentic programming, we think formal methods will play a major role in helping validate agent-generated code and providing feedback for agents. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both b…