Tools and Compilers Research and Development

About the Company

Jane Street's Compilers team focuses on improving OCaml as a foundation for Jane Street's ever-growing technology stack, in collaboration with the greater OCaml community. The vast majority of our work is open-source, and we upstream as much as we can to the mainstream OCaml compiler.

Responsibilities

• Work in collaboration with mentors on a research project for 10-12 weeks
• Apply state-of-the-art research to a large actively-developed production codebase
• Explore project areas such as type systems, formal verification, new language features, or compiler testing
• Learn how OCaml is used in day-to-day work and gain exposure to foundational libraries and tools

Requirements

• Currently pursuing a PhD or Master's degree
• Outstanding research experience in programming languages, compilers, verification, or related areas
• Must include a list of peer-reviewed publications in your resume