Compiler Engineer

Tarides is strongly involved in the development of the OCaml compiler and community tooling. This role involves working within a compiler-focused team across a wide range of areas. Our compiler-focused team has contributed to major initiatives such as : Adding WASM support to the Js_of_ocaml backend, enabling OCaml to target the browser and future WASI runtimes. Contributing heavily to Multicore OCaml, released in OCaml 5.0, including work on effect handlers, a high-performance concurrent GC, and a modular memory model. Ongoing improvements to the OCaml compiler: Immutable Arrays, memory profiling, WASM, Windows support, and many more planned features. This is a rare opportunity to work on the internals of a major industrial‑strength functional language, collaborate with highly experienced compiler developers, and make a substantial impact on the OCaml community. Responsibilities Design and implement features in the OCaml compiler, with a specific focus on the parser and type system. Provide technical guidance and leadership on the OCaml type-system and parser. Work on compiling OCaml to new targets such as JavaScript and WASM. Submit pull requests to the OCaml programming language on GitHub, and work with the OCaml core team to get the features merged. Work with external clients and internal teams to gather requirements, develop proposals, design solutions and communicate project statuses. Communicate with the wider open‑source community (discuss, blog posts, meetups, conferences, talks, etc.). Work independently towards high‑level goals and break down large technical solutions into deliverable software artefacts. Why Join Tarides? Work at the core of the OCaml compiler and contribute to high‑impact open‑source projects used worldwide. Collaborate with leading engineers on advanced topics such as type systems, WASM, runtime performance, and multicore concurrency. Join an international, highly technical team with a strong engineering culture and a focus on long‑term, high‑quality work. Enjoy a flexible, remote‑friendly environment with the option to work from our Paris office. Be part of a company that values autonomy, craftsmanship, and knowledge sharing. Profile required You don’t have to fill 100% of the criteria to apply. Hands‑on experience with compilers (parsing, type checking, GC, runtime systems). Previous experience with OCaml/ML type systems, or type systems for functional languages. Strong programming skills in OCaml, or an equivalent strongly typed language. Experience in analysing benchmarks and application performance. A track record of building production‑quality software. Open source contributions (a plus). Good communication skills in English (English is the corporate language). Experience working with multidisciplinary teams. Company description Tarides is an international software company with offices in Cambridge (UK), Paris (France), and Chennai (India), founded in 2018 by pioneers of systems and functional programming. We have a worldwide presence with collaborators working remotely from the US, Australia, Canada, India, Japan, and across Europe. We have a solid academic background with connections to the University of Cambridge, Inria, and IIT Madras. Our diverse team of 40+ people performs groundbreaking innovation, feature development, and crucial maintenance of OCaml‑based projects. Tarides was previously part of Station F's Founder program in 2018 and was selected for the “Concours d’Innovation i‑Lab,” organised by the French Ministry of Higher Education, Research, and Innovation in partnership with Bpifrance. Tarides was also recognised during the FIC (International Cybersecurity Forum) 2020 fair, the leading European event on cybersecurity. These awards acknowledge the high quality solutions developed by Tarides and emphasise the interest they have gained from the cybersecurity community. In 2022, OCaml Labs (a spinout from the University of Cambridge) and Segfault Systems (a spinout from IIT‑Madras) both joined Tarides, aligning towards a shared goal: empowering developers, communities, and organisations to adopt OCaml as their primary programming experience by providing training, expertise, and development services. #J-18808-Ljbffr