Formal Methods Research and Development

New Yorkfull timeOn Site

H1B: no

Janestreet Jane Street offers internships in Formal Methods within their OCaml Language team to develop language features and tooling for correctness reasoning and bug finding. Interns will collaborate on real-world projects combining research with active development.

Responsibilities

Collaborate with mentors on real-world projects related to formal methods
Develop tools for property-based testing or refinement type systems
Evaluate tools on a large, actively developed production codebase
Attend guest speakers and social events

Qualification

We're looking for PhD studentsIntellectually curious

Required

We're looking for PhD students, postdocs, and masters students with outstanding research experience in program verification, programming language semantics, property-based testing, static analysis, model checking, and related areas. You should be
A strong programmer who enjoys collaborating in small teams
Excited to turn research ideas into practical tools
Intellectually curious, humble and unafraid to ask questions
We don't expect you to have a background in finance, OCaml, or functional programming.
If you're a recruiting agency and want to partner with us, please reach out to agency-partnerships@janestreet.com.