# Jobs **URL:** https://discuss.ocaml.org/c/community/jobs/14.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [About the Jobs category](https://discuss.ocaml.org/t/about-the-jobs-category/1120)
**Author:** [@avsm](https://discuss.ocaml.org/u/avsm)\ **Replies:** 1\ **Last updated:** [November 14, 2017, 4:26pm UTC](https://discuss.ocaml.org/t/about-the-jobs-category/1120 "2017-11-14T16:26:30Z")
Job postings for OCaml programmers are welcome on the OCaml discourse site, with the following provisions: Postings must be for jobs that primarily involve working with the OCaml language. Postings must be placed in th… --- ## [\[JOB\] Software Engineer at LexiFi (Paris)](https://discuss.ocaml.org/t/job-software-engineer-at-lexifi-paris/18304)
**Author:** [@nojb](https://discuss.ocaml.org/u/nojb)\ **Replies:** 0\ **Last updated:** [June 26, 2026, 7:36pm UTC](https://discuss.ocaml.org/t/job-software-engineer-at-lexifi-paris/18304 "2026-06-26T19:36:16Z")
Dear all, LexiFi is hiring! We are looking for a full-time Software Engineer to join our core development team. We are particularly interested in candidates with a strong programming background, for example through pre… --- ## [List your open OCaml positions on the OCaml.org job board](https://discuss.ocaml.org/t/list-your-open-ocaml-positions-on-the-ocaml-org-job-board/11377)
**Author:** [@sabine](https://discuss.ocaml.org/u/sabine)\ **Replies:** 23\ **Last updated:** [May 14, 2026, 10:51am UTC](https://discuss.ocaml.org/t/list-your-open-ocaml-positions-on-the-ocaml-org-job-board/11377 "2026-05-14T10:51:18Z")
Job postings for OCaml programmers are welcome on the official OCaml website at OCaml Jobs. Postings must be for jobs that primarily involve working with the OCaml language and should link to a detailed job description… --- ## [Job offer: compiler engineer for Catala @ CNAF (social benefits agency)](https://discuss.ocaml.org/t/job-offer-compiler-engineer-for-catala-cnaf-social-benefits-agency/17943)
**Author:** [@denismerigoux](https://discuss.ocaml.org/u/denismerigoux)\ **Replies:** 0\ **Last updated:** [April 3, 2026, 9:24am UTC](https://discuss.ocaml.org/t/job-offer-compiler-engineer-for-catala-cnaf-social-benefits-agency/17943 "2026-04-03T09:24:25Z")
\[The following is in French since this is a job offer in the French public sector\] Candidatez ici : Offre emploi La CNAF (Caisse Nationale des Allocations Familiales), tête de réseau des 101 CAF, représente la branche… --- ## [Research engineer or postdoc position at Inria Rennes: static analysis of OCaml programs](https://discuss.ocaml.org/t/research-engineer-or-postdoc-position-at-inria-rennes-static-analysis-of-ocaml-programs/17879)
**Author:** [@esope](https://discuss.ocaml.org/u/esope)\ **Replies:** 0\ **Last updated:** [March 9, 2026, 2:17pm UTC](https://discuss.ocaml.org/t/research-engineer-or-postdoc-position-at-inria-rennes-static-analysis-of-ocaml-programs/17879 "2026-03-09T14:17:27Z")
Dear OCaml folks, as part of a project between Inria and Lexifi, we are offering a 2-year research engineer or postdoc position, to work on the Salto static analyser for OCaml programs. The position can start anytime f… --- ## [Remote OCaml Distributed Systems Engineer (Linux / Storage / Networking) – whitesky.cloud – EMEA/Asia](https://discuss.ocaml.org/t/remote-ocaml-distributed-systems-engineer-linux-storage-networking-whitesky-cloud-emea-asia/17832)
**Author:** [@fastgeert](https://discuss.ocaml.org/u/fastgeert)\ **Replies:** 1\ **Last updated:** [February 22, 2026, 10:36pm UTC](https://discuss.ocaml.org/t/remote-ocaml-distributed-systems-engineer-linux-storage-networking-whitesky-cloud-emea-asia/17832 "2026-02-22T22:36:59Z")
We are looking for an OCaml engineer to join whitesky.cloud to work on low-level distributed infrastructure components. About the work You will work on core building blocks of a sovereign cloud platform, including dist… --- ## [\[JOB\] Software Engineer (OCaml) -- LexiFi, Paris](https://discuss.ocaml.org/t/job-software-engineer-ocaml-lexifi-paris/17586)
**Author:** [@alainfrisch](https://discuss.ocaml.org/u/alainfrisch)\ **Replies:** 2\ **Last updated:** [December 16, 2025, 10:06am UTC](https://discuss.ocaml.org/t/job-software-engineer-ocaml-lexifi-paris/17586 "2025-12-16T10:06:59Z")
Hi all, LexiFi is looking for a Software Engineer to join our development team in Paris. The work is primarily in OCaml, contributing to our codebase across core components, tooling, and product features. If you’re int… --- ## [Two open roles at Tarides: Compiler Engineer & VP of Software Engineering](https://discuss.ocaml.org/t/two-open-roles-at-tarides-compiler-engineer-vp-of-software-engineering/17541)
**Author:** [@samoht](https://discuss.ocaml.org/u/samoht)\ **Replies:** 1\ **Last updated:** [December 1, 2025, 1:16pm UTC](https://discuss.ocaml.org/t/two-open-roles-at-tarides-compiler-engineer-vp-of-software-engineering/17541 "2025-12-01T13:16:03Z")
Hi all, Tarides’ mission is to help make OCaml mainstream. We work across the stack: contributing upstream to the compiler, maintaining ecosystem tooling, and supporting organisations that rely on OCaml in production. O… --- ## [Contract OCaml Engineer – Terrateam (Remote, 3 months)](https://discuss.ocaml.org/t/contract-ocaml-engineer-terrateam-remote-3-months/17314)
**Author:** [@Josh\_Pollara](https://discuss.ocaml.org/u/Josh_Pollara)\ **Replies:** 0\ **Last updated:** [September 25, 2025, 10:57am UTC](https://discuss.ocaml.org/t/contract-ocaml-engineer-terrateam-remote-3-months/17314 "2025-09-25T10:57:53Z")
Terrateam (https://terrateam.io) is looking for an experienced OCaml engineer to join us on a 3-month contract. About us Terrateam is an open-source tool for GitOps-based Terraform automation. We are a small, bootstrap… --- ## [\[Job/remote\] Semgrep is hiring OCaml developers to work on the static analysis engine](https://discuss.ocaml.org/t/job-remote-semgrep-is-hiring-ocaml-developers-to-work-on-the-static-analysis-engine/16771)
**Author:** [@iago](https://discuss.ocaml.org/u/iago)\ **Replies:** 0\ **Last updated:** [June 6, 2025, 1:26pm UTC](https://discuss.ocaml.org/t/job-remote-semgrep-is-hiring-ocaml-developers-to-work-on-the-static-analysis-engine/16771 "2025-06-06T13:26:11Z")
Semgrep is an application security company focused on detecting and remediating vulnerabilities. The static analysis engine is primarily written in OCaml. We are looking for a senior software engineer to join the Code te… --- ## [Semgrep is hiring OCaml developers to help develop our supply chain security product!](https://discuss.ocaml.org/t/semgrep-is-hiring-ocaml-developers-to-help-develop-our-supply-chain-security-product/16464)
**Author:** [@aaronacosta](https://discuss.ocaml.org/u/aaronacosta)\ **Replies:** 1\ **Last updated:** [May 30, 2025, 9:27pm UTC](https://discuss.ocaml.org/t/semgrep-is-hiring-ocaml-developers-to-help-develop-our-supply-chain-security-product/16464 "2025-05-30T21:27:30Z")
Semgrep is an application security company focused on detecting and remediating vulnerabilities. The static analysis engine is primarily written in OCaml. We’re looking for a senior or staff software engineer to help us … --- ## [\[HIRING\] R&D Engineer Positions available at OCamlPro, in Paris (France)](https://discuss.ocaml.org/t/hiring-r-d-engineer-positions-available-at-ocamlpro-in-paris-france/16513)
**Author:** [@OCamlPro](https://discuss.ocaml.org/u/OCamlPro)\ **Replies:** 0\ **Last updated:** [April 16, 2025, 3:11pm UTC](https://discuss.ocaml.org/t/hiring-r-d-engineer-positions-available-at-ocamlpro-in-paris-france/16513 "2025-04-16T15:11:22Z")
Greetings Cameleers, We are thrilled to announce that OCamlPro is hiring! OCamlPro is a R&D lab founded in 2011, with the mission to help industrial users benefit from experts with a state-of-the-art knowledge of progr… --- ## [Senior Software Engineer at Bloomberg. New York](https://discuss.ocaml.org/t/senior-software-engineer-at-bloomberg-new-york/16271)
**Author:** [@maxim092001](https://discuss.ocaml.org/u/maxim092001)\ **Replies:** 0\ **Last updated:** [March 14, 2025, 3:51pm UTC](https://discuss.ocaml.org/t/senior-software-engineer-at-bloomberg-new-york/16271 "2025-03-14T15:51:33Z")
Hi everyone! :waving\_hand: Bloomberg is looking for a full-time Senior Software Engineer in New York: Gain experience applying functional programming to real production financial systems Use OCaml to develop a robust … --- ## [\[Job | remote\] Semgrep is hiring to help scale their static analysis engine](https://discuss.ocaml.org/t/job-remote-semgrep-is-hiring-to-help-scale-their-static-analysis-engine/15982)
**Author:** [@emjin](https://discuss.ocaml.org/u/emjin)\ **Replies:** 2\ **Last updated:** [January 21, 2025, 5:45pm UTC](https://discuss.ocaml.org/t/job-remote-semgrep-is-hiring-to-help-scale-their-static-analysis-engine/15982 "2025-01-21T17:45:45Z")
Semgrep is an application security company focused on detecting and remediating vulnerabilities. The static analysis engine is primarily written in OCaml. We’re looking for a software engineer to help us support scanning… --- ## [Awesome Functional Programming Jobs](https://discuss.ocaml.org/t/awesome-functional-programming-jobs/15627)
**Author:** [@Adrian](https://discuss.ocaml.org/u/Adrian)\ **Replies:** 0\ **Last updated:** [November 17, 2024, 2:31pm UTC](https://discuss.ocaml.org/t/awesome-functional-programming-jobs/15627 "2024-11-17T14:31:43Z")
I created a list of all companies that hire for jobs with functional programming languages. I know you all would prefer working with OCaml, but I guess an F# job would still be preferable over a Java job! :wink: github… --- ## [\[ANN\] HOL Light released to OPAM](https://discuss.ocaml.org/t/ann-hol-light-released-to-opam/15488)
**Author:** [@aqjune](https://discuss.ocaml.org/u/aqjune)\ **Replies:** 0\ **Last updated:** [October 22, 2024, 2:59pm UTC](https://discuss.ocaml.org/t/ann-hol-light-released-to-opam/15488 "2024-10-22T14:59:01Z")
The HOL Light interactive theorem prover written by John Harrison is released to OPAM as a package. Its first new version available on OPAM is 3.0. It now provides hol.sh which is a script that will launch an OCaml REPL… --- ## [\[job/part-time\] position for MoonBit advocate](https://discuss.ocaml.org/t/job-part-time-position-for-moonbit-advocate/14726)
**Author:** [@bobzhang](https://discuss.ocaml.org/u/bobzhang)\ **Replies:** 2\ **Last updated:** [May 31, 2024, 1:02am UTC](https://discuss.ocaml.org/t/job-part-time-position-for-moonbit-advocate/14726 "2024-05-31T01:02:52Z")
MoonBit is ML language inspired by Rust, Go and OCaml, it was announced with a Wasm backend, and recently we added a JavaScript backend, we plan to ship a native backend this year. It is similar to OCaml, the main diffe… --- ## [Imandra SysML Transpiler Internship Opportunity!](https://discuss.ocaml.org/t/imandra-sysml-transpiler-internship-opportunity/14660)
**Author:** [@benbellick](https://discuss.ocaml.org/u/benbellick)\ **Replies:** 1\ **Last updated:** [May 17, 2024, 8:41pm UTC](https://discuss.ocaml.org/t/imandra-sysml-transpiler-internship-opportunity/14660 "2024-05-17T20:41:39Z")
I wanted to share an opportunity for a summer internship with Imandra! If you’re someone with an interest in writing production OCaml or using a battle-worn automated theorem prover in an industry setting, please apply! … --- ## [Available for Hire - Q2+3+4 2023](https://discuss.ocaml.org/t/available-for-hire-q2-3-4-2023/11867)
**Author:** [@sabine](https://discuss.ocaml.org/u/sabine)\ **Replies:** 7\ **Last updated:** [May 13, 2024, 5:31am UTC](https://discuss.ocaml.org/t/available-for-hire-q2-3-4-2023/11867 "2024-05-13T05:31:27Z")
Here’s a thread to announce your availability as an OCaml developer looking for an OCaml job. :rocket: Freelancers, contractors and job-seekers, do advertise your services and experience here. Since the volume on these… --- ## [\[Job\] Ocaml developer at Routine, Paris](https://discuss.ocaml.org/t/job-ocaml-developer-at-routine-paris/14448)
**Author:** [@mefyl](https://discuss.ocaml.org/u/mefyl)\ **Replies:** 0\ **Last updated:** [April 8, 2024, 10:09am UTC](https://discuss.ocaml.org/t/job-ocaml-developer-at-routine-paris/14448 "2024-04-08T10:09:45Z")
Routine (https://routine.co ) is once more looking for OCaml developers. Routine is a personal productivity assistant and knowledge manager. The technological stack revolves heavily around OCaml which represents 80% of … --- ## [Recruitement on the Catala project (French)](https://discuss.ocaml.org/t/recruitement-on-the-catala-project-french/14185)
**Author:** [@denismerigoux](https://discuss.ocaml.org/u/denismerigoux)\ **Replies:** 0\ **Last updated:** [February 26, 2024, 11:03am UTC](https://discuss.ocaml.org/t/recruitement-on-the-catala-project-french/14185 "2024-02-26T11:03:53Z")
\[As the positions opening are in Paris and hosted at the French National Research Center in Computer Science INRIA, the rest of the post is in French\] Bonjour à toutes et à tous, Le projet Catala recrute ! catala-lang\[… --- ## [\[Job\] Prefaculty/postdoc research position at Jane Street (New York or London)](https://discuss.ocaml.org/t/job-prefaculty-postdoc-research-position-at-jane-street-new-york-or-london/13919)
**Author:** [@reisenberg](https://discuss.ocaml.org/u/reisenberg)\ **Replies:** 0\ **Last updated:** [January 23, 2024, 3:34pm UTC](https://discuss.ocaml.org/t/job-prefaculty-postdoc-research-position-at-jane-street-new-york-or-london/13919 "2024-01-23T15:34:34Z")
I’m excited to share that Jane Street has opened up a visiting position to work with our type systems team to improve and formalize various aspects of our extensions to OCaml. This position is envisioned to sit between g… --- ## [\[Postdoc\] Compositional Automated Verification for OCaml](https://discuss.ocaml.org/t/postdoc-compositional-automated-verification-for-ocaml/13550)
**Author:** [@Drup](https://discuss.ocaml.org/u/Drup)\ **Replies:** 0\ **Last updated:** [December 1, 2023, 1:40pm UTC](https://discuss.ocaml.org/t/postdoc-compositional-automated-verification-for-ocaml/13550 "2023-12-01T13:40:31Z")
This is an announcement for a postdoctoral position in the CAVOC project (Compositional Automated Verification for OCaml Code). The post-doc will take place in Nantes, France. It will be co-supervised by Guilhem Jaber (N… --- ## [Recherche un développeur OCaml pour travailler sur une application avec Ocsigen/Eliom](https://discuss.ocaml.org/t/recherche-un-developpeur-ocaml-pour-travailler-sur-une-application-avec-ocsigen-eliom/13271)
**Author:** [@LScheinfeld](https://discuss.ocaml.org/u/LScheinfeld)\ **Replies:** 2\ **Last updated:** [October 26, 2023, 9:52am UTC](https://discuss.ocaml.org/t/recherche-un-developpeur-ocaml-pour-travailler-sur-une-application-avec-ocsigen-eliom/13271 "2023-10-26T09:52:34Z")
Sujet : comparateur d’achat de matières premières pour la Restauration Le socle de l’application a été réalisé. Tous types de contrats envisageables … association possible dans notre Startup Marge+ --- ## [Hiring Functional Software Engineers (OCaml or Haskell) in Paris, France!](https://discuss.ocaml.org/t/hiring-functional-software-engineers-ocaml-or-haskell-in-paris-france/13221)
**Author:** [@ModusTeam](https://discuss.ocaml.org/u/ModusTeam)\ **Replies:** 0\ **Last updated:** [October 11, 2023, 12:00am UTC](https://discuss.ocaml.org/t/hiring-functional-software-engineers-ocaml-or-haskell-in-paris-france/13221 "2023-10-11T00:00:09Z")
Hey team! Tweag is hiring a Functional Software engineer with Experience in OCaml or Haskell, if you’re fluent in any of these languages please feel free to apply. This is an onsite position at our client offices located… --- ## [Senior software engineer at Asemio in Tulsa, OK](https://discuss.ocaml.org/t/senior-software-engineer-at-asemio-in-tulsa-ok/5979)
**Author:** [@asemio\_sgrondin](https://discuss.ocaml.org/u/asemio_sgrondin)\ **Replies:** 5\ **Last updated:** [July 13, 2023, 12:30pm UTC](https://discuss.ocaml.org/t/senior-software-engineer-at-asemio-in-tulsa-ok/5979 "2023-07-13T12:30:13Z")
We are Asemio and our team of data scientists, software engineers, architects, and management consultants are working together to achieve a nationwide data ecosystem for social good. You’ll be working on the Asemio Comm… --- ## [Ahrefs is Hiring](https://discuss.ocaml.org/t/ahrefs-is-hiring/12136)
**Author:** [@benmonopoli](https://discuss.ocaml.org/u/benmonopoli)\ **Replies:** 1\ **Last updated:** [May 11, 2023, 4:10am UTC](https://discuss.ocaml.org/t/ahrefs-is-hiring/12136 "2023-05-11T04:10:44Z")
Hello, As always here at Ahrefs we’re on the lookout for OCaml devs. We are headquartered in Singapore but our team is dotted all over the place so we’re open to remote too. Check out our posting here Feel free to re… --- ## [3-year engineering position in Deducteam, Inria Paris-Saclay, France](https://discuss.ocaml.org/t/3-year-engineering-position-in-deducteam-inria-paris-saclay-france/12001)
**Author:** [@fblanqui](https://discuss.ocaml.org/u/fblanqui)\ **Replies:** 0\ **Last updated:** [April 22, 2023, 2:29pm UTC](https://discuss.ocaml.org/t/3-year-engineering-position-in-deducteam-inria-paris-saclay-france/12001 "2023-04-22T14:29:33Z")
Deducteam is offering a 3-year engineering position to help develop, test and maintain tools for proof system interoperability (continuous integration, proof libraries management, searching tools, VSCode interface, etc.)… --- ## [Available for Hire - Q1 2023](https://discuss.ocaml.org/t/available-for-hire-q1-2023/11389)
**Author:** [@sabine](https://discuss.ocaml.org/u/sabine)\ **Replies:** 1\ **Last updated:** [February 10, 2023, 1:35pm UTC](https://discuss.ocaml.org/t/available-for-hire-q1-2023/11389 "2023-02-10T13:35:57Z")
Here’s a thread to announce your availability as an OCaml developer looking for an OCaml job. :rocket: Freelancers, contractors and job-seekers, do advertise your services and experience here. Let’s start this off with… --- ## [Position in software dependability at the French space agency CNES - Toulouse](https://discuss.ocaml.org/t/position-in-software-dependability-at-the-french-space-agency-cnes-toulouse/11030)
**Author:** [@danko](https://discuss.ocaml.org/u/danko)\ **Replies:** 2\ **Last updated:** [December 26, 2022, 9:23pm UTC](https://discuss.ocaml.org/t/position-in-software-dependability-at-the-french-space-agency-cnes-toulouse/11030 "2022-12-26T21:23:24Z")
Bonjour, Un poste en assurance de sûreté de fonctionnement du logiciel est ouverte au CNES-Toulouse : N’hésitez pas à postuler si ces sujets vous intéressent. Cordialement, Danko ILIK [Next page](https://discuss.ocaml.org/c/community/jobs/14.md?page=1)