Formal Methods Research and Development

About the role

Jane Street’s Formal Methods internship sits within the OCaml Language team, developing language features and tooling for reasoning about correctness and finding bugs. Interns collaborate with employee mentors on research-informed projects, evaluate tools on production code, and explore formal methods for agent-generated software.

Responsibilities

• Collaborate with full-time mentors on a real-world formal methods project connected to active Jane Street work.
• Develop tools such as property-based testing for formal specifications or refinement types for functional correctness verification.
• Evaluate developed tools on a large, actively developed production codebase.
• Explore formal methods for validating agent-generated code and providing feedback to programming agents.

Internship Experience

• Work on a project combining your research background with an active Jane Street project.
• Attend guest speakers and social events during the internship.
• Gain insight into working at Jane Street full time through practical project collaboration.