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.
#J-18808-Ljbffr
Tools & Compilers Research and Development Internship, Flexible in London employer: Amsterdam Quant Society
Susquehanna is an exceptional employer for aspiring quantitative traders, offering a dynamic internship experience in the heart of London. With a strong emphasis on mentorship and hands-on project work, interns gain invaluable skills in ETF and options trading, programming, and game theory, all within a collaborative and innovative work culture that fosters personal and professional growth. The opportunity to return for a graduate programme further highlights our commitment to nurturing talent and providing a pathway for future success.
