Tools and 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 broader OCaml community. We work on various 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 novel language features, re-engineered the optimizer from the ground up, and added feedback-directed optimization. We also enhance the surrounding toolchain by developing tools for profiling, debugging, documentation, and build automation. Most of our work is open-source, and we contribute as much as possible to the mainstream OCaml compiler.

During the application process, we will collaborate with you to identify a project that aligns with your research expertise and interests. Areas of interest include:

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

During the internship, you will work with your mentors on a single project for approximately 10–12 weeks. You will learn how we use OCaml in our daily work and gain exposure to the libraries and tools foundational to our internal systems. You will develop a deeper understanding of the wide range of problems we solve 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 insight into what it is 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. Please include a list of your peer-reviewed publications in your resume.