Jane Street
Formal Methods Research and Development
Eligibility
- PhD students, postdocs, and masters students
Jane Street internship in Formal Methods research and development for advanced degree students to work on OCaml tooling for software correctness and proof-driven development.
Responsibilities
- Collaborate with full-time employees on real-world projects combining research and OCaml development
- Develop tools such as property-based testing support or refinement type systems
- Evaluate tools on large, active production codebases
- Attend guest speaker sessions and social events
Requirements
- Outstanding research experience in program verification, semantics, testing, static analysis, model checking
- Strong programming skills
- Excited to convert research into practical tools
- Intellectually curious and communicative
Skills
- OCaml
- Programming
- Formal methods
- Static analysis
- Employer posted
- Last checked