Tools & Compilers Research and Development

About the Position

We are excited to announce research internships in our Tools and Compilers group. We are seeking PhD and master's students with outstanding research experience in programming languages, compilers, verification, and related areas.

Jane Street's Compilers team focuses on improving OCaml as a foundation for our growing technology stack, in collaboration with the greater OCaml community. We work on many aspects of the compiler to make it easier for developers to express their ideas in OCaml, improve the performance of generated code, and make the OCaml compiler faster and easier to use.

Over the years, we have extended the type system with support for novel language features, re-engineered the optimizer from the ground up, and added feedback-directed optimization. We also enhance the surrounding toolchain, working on tools for profiling, debugging, documentation, and build automation. The vast majority of our work is open source, and we upstream as much as possible to the mainstream OCaml compiler.

During the application process, we will work with you to identify a project that aligns with your research expertise and interests. Examples of areas we are interested in exploring include:

• Type systems that track locality and uniqueness
• Superoptimization
• Compiler testing and validation

During the internship, you will collaborate with your mentors on one project for about 10–12 weeks. You will learn how we use OCaml in our day-to-day work and gain exposure to the libraries and tools foundational to our internal systems. You will gain a better understanding of the wide range of problems we solve daily, try out new ideas, and apply state-of-the-art research to a large, actively developed production codebase.

You will also have access to our physical and virtual educational resources, attend guest speaker sessions and social events, and gain a real sense of what it would be like to work here full time.

About You

We are looking for PhD and master's students with outstanding research experience in programming languages, compilers, verification, and related areas. A background in finance, OCaml, or functional programming is not required. Fluency in English is required. Please include a list of your peer-reviewed publications in your resume.