JS
Programme
Internship
Location
New York City, NY
About the role
Jane Street’s Formal Methods group is offering an internship in New York within the OCaml Language team. You will collaborate with employee mentors on research-driven tools for program verification, including property-based testing and refinement types, and evaluate your work on a large, actively developed production codebase.
Responsibilities
- Collaborate with full-time employee mentors on a real-world project connected to active team initiatives.
- Develop tools for formal methods, such as property-based testing of specifications or refinement type systems.
- Evaluate tools on a large, actively developed production codebase.
- Help explore formal methods for validating agent-generated code and providing feedback to programming agents.
Candidate Profile
- Open to PhD students, postdocs, and master’s students with outstanding relevant research experience.
- Relevant areas include program verification, programming language semantics, property-based testing, static analysis, and model checking.
- Strong programming skills and an interest in collaborating within small teams.
- Excited to turn research ideas into practical software tools.
- Intellectually curious, humble, and comfortable asking questions.
- A background in finance, OCaml, or functional programming is not required.
Internship Experience
- Receive guidance from full-time employee mentors while working on a substantive project.
- Attend guest speaker sessions and social events during the internship.
- Gain exposure to Jane Street’s working environment and full-time opportunities.