Formal Methods Research and Development

Jane Street·New York, New York, United States·Posted 9 November 2026

Apply with a tailored CV View on Jane Street's site

About the role

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 with full-time employees who act as mentors, collaborating with you on a real-world project that combines your research background with one of our active projects, such as adding support for property-based testing of formal specifications or developing a refinement type system for functional correctness verification. You’ll have the opportunity to evaluate the tools you develop on a large, actively developed production codebase.…

This is a summary of the advert. The full description and the application are on Jane Street's careers site.

Apply faster with Prepper

A version of your CV tailored to this Formal Methods Research and Development role.
A cover letter written from your CV and this advert.
Prepper can fill in Jane Street's application form and send it once you approve.
The application saved in your tracker, with reminders to follow up.

Start free

More roles at Jane Street

Prepper is independent and not affiliated with Jane Street. Roles are listed from the employer's public careers system and removed when they close.