Programming Language Engineer

Jane Street; London; On-site; GBP 60,000 - 80,000; Full time

Job summary

A technology company in London is seeking an experienced Software Engineer for their OCaml Language team. This role involves designing and implementing features for OCaml, enhancing compiler performance, and collaborating with the open-source community. Ideal candidates will have several years of experience in language design, but prior knowledge of OCaml is not required. Join us in shaping the future of this programming language.

Qualifications

• Multiple years of experience in practical language design and implementation.
• Research experience and publications in programming languages is a plus.

Responsibilities

• Design and implement language features and tooling for the OCaml compiler.
• Refine compiler optimizations and work on debugging and profiling tools.
• Collaborate with the OCaml community for upstream changes to the compiler.

Skills

Practical language design

Compiler optimizations

Collaboration with open-source community

Job description

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.