Tools & 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 a PhD or Masters student
• Outstanding research experience in programming languages, compilers, verification, or related areas
• Ability to provide a list of peer-reviewed publications in your resume