Tools & Compilers Research and Development

<h3>About the Position</h3> <p><span style="font-weight: 400;">We are excited to announce research internships in our Tools and Compilers group. We’re looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas.&nbsp;</span></p> <p><span style="font-weight: 400;">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. We work on many different aspects of the compiler, aiming to make it easier for developers to express their ideas in OCaml, to improve the performance of the generated code, and to make the OCaml compiler itself faster and easier to use.&nbsp;</span></p> <p><span style="font-weight: 400;">Over the years, we extended the type system with support for novel language features, re-engineered the optimizer ground-up, and added feedback-directed optimization. </span><span style="font-weight: 400;">We also extend and enhance the surrounding toolchain, </span><span style="font-weight: 400;">working on tools for profiling, debugging, documenting, and building automation. The vast majority of our work is open-source, and we upstream as much as we can to the mainstream OCaml compiler.</span></p> <p><span style="font-weight: 400;">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:</span></p> <ul> <li>Type systems that track locality and uniqueness</li> <li>Superoptimization&nbsp;</li> <li>Compiler testing and validation</li> </ul> <p><span style="font-weight: 400;">During the internship, you will work in collaboration with your mentors on one project for about 10-12 weeks. You’ll learn how we use OCaml in our day-to-day work, and gain exposure to the libraries and tools that are foundational to our internal systems. You’ll gain a better understanding of the wide range of problems we solve every day. You’ll try out new ideas and apply state-of-the art research to a large actively-developed production codebase.</span></p> <p><span style="font-weight: 400;">You’ll also be able to access our physical and virtual educational resources, attend guest speakers and social events, and hopefully get a real sense of what it would be like to work here full time.</span></p> <h3>About You</h3> <p><span style="font-weight: 400;">We’re looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas. </span><span style="font-weight: 400;">We don’t expect you to have a background in finance, OCaml, or functional programming. Fluency in English required. Please include the list of your peer-reviewed publications in your resume.</span></p><p>&nbsp;</p> <p><em>If you're a recruiting agency and want to partner with us, please reach out to&nbsp;</em><a href="mailto:agency-partnerships@janestreet.com"><em>agency-partnerships@janestreet.com</em></a><em>.</em></p>