Overview

\u2014 Were looking to hire an experienced Software Engineer with a background working on programming languages to join us. Jane Street's OCaml Language team focuses on improving OCaml as a foundation for our technology stack, in collaboration with the greater OCaml community. We work on many different aspects of the language, 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.

Over the years, weve 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, debugging and generating documentation. The vast majority of our work is open-source, and we upstream as much as we can to the mainstream OCaml compiler.

Responsibilities

• Contribute to the OCaml language team by designing and implementing language features, optimizations, and tooling that improve expressiveness, performance, and usability of the OCaml compiler and runtime.
• Develop and refine compiler optimizations, and work on the surrounding toolchain, including profiling, debugging, and documentation tooling.
• Collaborate with the open-source OCaml community and upstream a broad set of changes to the mainstream OCaml compiler.

About You

• For this specialised role within the OCaml Language team, we are seeking candidates with multiple years of experience in practical language design and implementation in an industrial-strength implementation.
• Research experience and publications in programming languages is a plus, but not a requirement.
• No previous experience with OCaml or functional programming languages is required.