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 by leveraging existing tools and technology, and pursuing novel approaches.

During the internship, we want to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. You'll be paired...

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

Sed ut perspiciatis unde omnis iste natus error sit voluptatem accusantium doloremque laudantium, totam rem aperiam, eaque ipsa quae ab illo inventore veritatis.