Tools and Compilers Research and Development

<h3>About the Position</h3> <p>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.</p> <p>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.</p> <p>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. We also extend and enhance the surrounding toolchain, working on tools for profiling, debugg