About the job
About the Position
Join our dynamic Tools and Compilers group at Jane Street as a research intern! We are seeking exceptional PhD and master's students who possess remarkable research experience in programming languages, compilers, verification, and related fields.
At Jane Street, our Compilers team is dedicated to enhancing OCaml, a critical component of our expanding technology stack, in collaboration with the broader OCaml community. Our focus spans various facets of the compiler, with the goal of simplifying the process for developers to articulate their ideas in OCaml, boosting the performance of generated code, and optimizing the OCaml compiler itself for improved speed and usability.
Over the years, we have enriched the type system, introduced innovative language features, and re-engineered the optimizer from the ground up, incorporating feedback-directed optimization. Additionally, we work on enhancing the surrounding toolchain, developing tools for profiling, debugging, documentation, and build automation. Much of our work is open-source, and we strive to contribute to the mainstream OCaml compiler as much as possible.
During the application process, we will collaborate with you to identify a project that resonates with your research expertise and interests. Areas we are keen to explore include:
- Type systems that track locality and uniqueness
- Superoptimization
- Compiler testing and validation
Throughout your internship, you will partner with mentors on a project for approximately 10-12 weeks. This experience will immerse you in our daily use of OCaml, providing exposure to the libraries and tools integral to our internal systems. You will gain insights into the diverse challenges we tackle every day and have the opportunity to apply cutting-edge research to an actively developed production codebase.
Additionally, you will have access to our educational resources, attend guest speaker events, and participate in social gatherings, allowing you to experience what it's like to work at Jane Street full time.

