Requirements

• PhD students, postdocs, or master's students with outstanding research experience in program verification, programming language semantics, property-based testing, static analysis, model checking, or related areas
• Strong programming skills and enjoyment of collaborating in small teams
• Excited to turn research ideas into practical tools
• Intellectually curious, humble, and unafraid to ask questions
• Fluent in English

What you'll be doing

• Working in the Formal Methods group of the OCaml Language team, developing language features and tooling for correctness reasoning and bug finding in OCaml programs
• Collaborating with mentors on real-world projects combining research background with active projects such as property-based testing of formal specifications or developing refinement type systems
• Evaluating tools on a large, actively developed production codebase
• Attending guest speakers and social events to get a sense of full-time work at Jane Street
• Contributing to modifying and improving OxCaml and its development environment for proof-driven software development