OCaml jobs

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Skolem Technologies provides data and trade execution services for decentralized financial markets. Their systems are built on a deep understanding of the underlying smart contracts and a security research mentality.

Tailor-made solutions for blockchains, formal methods and programming languages.

Imandra is the Automated Reasoning Company. Imandra's groundbreaking automated reasoning technology ensures your software is safe, intelligent and on time.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Lexifi established a domain-specific computer language that allowed to describe financial products in a generic way. This language can be considered as a “DNA string” for derivatives. – they use it to describe all products and support all business processes.

Lexifi established a domain-specific computer language that allowed to describe financial products in a generic way. This language can be considered as a “DNA string” for derivatives. – they use it to describe all products and support all business processes.

Solvuu is a data science company for life scientists. they provide a cloud-based data management platform with standardized access to data, tools, and visualization across biological data formats. They have defined a system rich enough to harmonize all the myriad data formats used in life sciences, specifically bioinformatics, thereby liberating scientists to focus on science. Their technology abstracts away the format of the data, allowing users to focus on the semantic content of the data.

Nomadic Labs is one of the largest research and development centers within the Tezos ecosystem. Based in Paris, they are composed of more than 50 engineering researchers working on the development and evolution of the Tezos protocol.
They also help companies and institutions to use the Tezos Blockchain for their business needs, providing technical support in France, Luxembourg and Belgium.

CEA List is a specialist in smart digital systems. They develop innovative, competitiveness-boosting tech-driven solutions—protected by a broad portfolio of patents—and transfer them to their R&D partners.

At the heart of the Paris-Saclay campus, CEA List’s Software Safety and Security Laboratory develops analysis tools to verify and enforce sensitive properties of software. Their goal is to provide trust in mission-critical and sensitive systems.

Cryptosense’s mission is to make secure cryptography easy to use for everyone.
That means solving problems of visibility, policy control and vulnerability analysis everywhere cryptography is used.

Cryptosense’s mission is to make secure cryptography easy to use for everyone.
That means solving problems of visibility, policy control and vulnerability analysis everywhere cryptography is used.

Cryptosense’s mission is to make secure cryptography easy to use for everyone.
That means solving problems of visibility, policy control and vulnerability analysis everywhere cryptography is used.

OCamlPro was founded to help spread the OCaml language in the industry.

OCamlPro has years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings.

OCamlPro was founded to help spread the OCaml language in the industry.

OCamlPro has years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings.

Bloomberg is the global leader in business and financial data, news and insight. Using the power of technology, they connect the world’s decision makers to accurate information on the financial markets – and help them make faster, smarter decisions.

TriliTech is a blockchain research and development hub focused on the open-source Tezos blockchain. Based in London, TriliTech offers innovation and collaborative opportunities to developers and technology professionals interested in the vibrant and rapidly growing blockchain industry. From custom development solutions to resident entrepreneurship- and business development programs, TriliTech is building and supporting our distributed future today.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Tarides is an international software company founded in 2018 by pioneers of systems and functional programming.
Tarides' team performs groundbreaking innovation, feature development, and crucial maintenance of OCaml-based projects.

Tarides develops and maintains a number of core OCaml tools, ensuring their availability and compatibility with new compiler releases. The goal is to ensure that users of OCaml can rely on, and have easy access to, a set of high-quality, practical development tools backed by the latest research and innovation efforts.

Tarides is an international software company founded in 2018 by pioneers of systems and functional programming.
Tarides' team performs groundbreaking innovation, feature development, and crucial maintenance of OCaml-based projects.

Tarides develops and maintains a number of core OCaml tools, ensuring their availability and compatibility with new compiler releases. The goal is to ensure that users of OCaml can rely on, and have easy access to, a set of high-quality, practical development tools backed by the latest research and innovation efforts.

Tarides is an international software company founded in 2018 by pioneers of systems and functional programming.
Tarides' team performs groundbreaking innovation, feature development, and crucial maintenance of OCaml-based projects.

Tarides develops and maintains a number of core OCaml tools, ensuring their availability and compatibility with new compiler releases. The goal is to ensure that users of OCaml can rely on, and have easy access to, a set of high-quality, practical development tools backed by the latest research and innovation efforts.

Tarides is an international software company founded in 2018 by pioneers of systems and functional programming.
Tarides' team performs groundbreaking innovation, feature development, and crucial maintenance of OCaml-based projects.

Tarides develops and maintains a number of core OCaml tools, ensuring their availability and compatibility with new compiler releases. The goal is to ensure that users of OCaml can rely on, and have easy access to, a set of high-quality, practical development tools backed by the latest research and innovation efforts.

Tarides is an international software company founded in 2018 by pioneers of systems and functional programming.
Tarides' team performs groundbreaking innovation, feature development, and crucial maintenance of OCaml-based projects.

Tarides develops and maintains a number of core OCaml tools, ensuring their availability and compatibility with new compiler releases. The goal is to ensure that users of OCaml can rely on, and have easy access to, a set of high-quality, practical development tools backed by the latest research and innovation efforts.

Ahrefs is a software company that develops online SEO tools and free educational materials for marketing professionals.

It is a lean multinational startup headquartered in Singapore that values making meaningful and easy-to-use products.

Ahrefs is a software company that develops online SEO tools and free educational materials for marketing professionals.

It is a lean multinational startup headquartered in Singapore that values making meaningful and easy-to-use products.

Marigold, founded in 2021, already has around 20 engineers. Their objective? Make the Tezos protocol accessible to different communities of developers.

Marigold is recruiting senior software engineers to work on its existing projects but also to take the lead on new projects.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.

Jane Street is a quantitative trading firm focusing on technology and collaborative problem solving, that uses OCaml as its primary development platform.
Jane Street innovates in tech, from functional programming to programmable hardware.