Formal Methods Research and Development
Jane Street · India · full-time
Source: Adzuna
Posted 10/11/2026
How to get ready for this job
We’ll help you choose the best next step before you apply.
A strong path is: practice the most relevant skills, tailor your resume to this role, then run a mock interview before you apply.
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 b…
Share:
ATS Match
Sign in to run ATS match for this job.