Tools & Compilers Research and Development Internship, Flexible

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

Tools & Compilers Research and Development Internship, Flexible

Research programming languages and compilers on Jane Street’s OCaml stack, including type systems, verification, systems-language features, testing, optimisation, and tooling.

This is a research internship in Jane Street’s Tools & Compilers group for master’s and PhD students working in programming languages, compilers, verification, or closely related areas. It is significantly more research-oriented than a standard software-engineering internship.

What the team works on

Jane Street’s compiler engineers improve OCaml as a foundation for the firm’s technology stack and work closely with the wider OCaml community. Their work spans the language, compiler, optimiser, and surrounding developer tooling. Past work includes extending the type system with new language features, rebuilding parts of the optimiser, adding feedback-directed optimisation, and improving profiling, debugging, documentation, and build automation.

A large portion of the team’s work is open source, and Jane Street upstreams changes to the mainstream OCaml compiler where possible.

What the internship looks like

You spend roughly 10–12 weeks on one research project chosen to connect your background with active work on the OCaml compiler or core libraries. Example areas include type systems that track locality and uniqueness, formal verification of OCaml programs, language features for systems programming, and compiler testing and validation. The goal is to apply research ideas to a large, actively developed production codebase.

What Jane Street looks for

This role is specifically for master’s and PhD students with strong research experience in programming languages, compilers, verification, or a related field. Finance, OCaml, and functional-programming experience are not required. Applicants are explicitly asked to include their peer-reviewed publications on their CV.

Details

Role information

Location London, United Kingdom

Job type Internship

Category Software Engineering

Company

New York, United States

Global quantitative trading and technology firm known for mathematical problem-solving, market making, and collaborative research-driven trading.