OCaml Tools & Compilers R&D Internship (Masters/PhD)

Amsterdam Quant Society; Greater London; Hybrid; GBP 100,000 - 134,000; Full time

Job summary

Jane Street’s Tools & Compilers group in London is offering a Research and Development Internship for master’s and PhD students in programming languages, compilers, verification, or related areas.

The internship lasts roughly 10–12 weeks, focusing on connecting research ideas with a production OCaml codebase, including areas like type systems, language features, and compiler testing. This is more research-oriented than typical software internships.

Qualifications

• Master’s or PhD student with strong research in programming languages, compilers, or verification.
• Experience with OCaml and related tooling is preferred.
• Publications on CV are encouraged.

Responsibilities

• Contribute to OCaml compiler research projects.
• Collaborate with the Tools & Compilers team in London.
• Document and present findings.

Skills

OCaml

PL research

Formal verification

Communication

Education

Masters or PhD student

Tools

OCaml compiler

Verification tooling

Job description

Jane Street’s Tools & Compilers group in London is offering a Research and Development Internship for master’s and PhD students in programming languages, compilers, verification, or related areas.

The internship lasts roughly 10–12 weeks, focusing on connecting research ideas with a production OCaml codebase, including areas like type systems, language features, and compiler testing. This is more research-oriented than typical software internships.