|
About the Jobs category
|
|
1
|
2098
|
November 14, 2017
|
|
Research engineer or postdoc position at Inria Rennes: static analysis of OCaml programs
|
|
0
|
158
|
March 9, 2026
|
|
Remote OCaml Distributed Systems Engineer (Linux / Storage / Networking) – whitesky.cloud – EMEA/Asia
|
|
1
|
326
|
February 22, 2026
|
|
[JOB] Software Engineer (OCaml) -- LexiFi, Paris
|
|
2
|
562
|
December 16, 2025
|
|
Two open roles at Tarides: Compiler Engineer & VP of Software Engineering
|
|
1
|
592
|
December 1, 2025
|
|
Contract OCaml Engineer – Terrateam (Remote, 3 months)
|
|
0
|
360
|
September 25, 2025
|
|
[Job/remote] Semgrep is hiring OCaml developers to work on the static analysis engine
|
|
0
|
439
|
June 6, 2025
|
|
Semgrep is hiring OCaml developers to help develop our supply chain security product!
|
|
1
|
539
|
May 30, 2025
|
|
[HIRING] R&D Engineer Positions available at OCamlPro, in Paris (France)
|
|
0
|
481
|
April 16, 2025
|
|
Senior Software Engineer at Bloomberg. New York
|
|
0
|
634
|
March 14, 2025
|
|
[Job | remote] Semgrep is hiring to help scale their static analysis engine
|
|
2
|
632
|
January 21, 2025
|
|
Awesome Functional Programming Jobs
|
|
0
|
496
|
November 17, 2024
|
|
[ANN] HOL Light released to OPAM
|
|
0
|
235
|
October 22, 2024
|
|
[job/part-time] position for MoonBit advocate
|
|
2
|
671
|
May 31, 2024
|
|
Imandra SysML Transpiler Internship Opportunity!
|
|
1
|
400
|
May 17, 2024
|
|
Available for Hire - Q2+3+4 2023
|
|
7
|
2503
|
May 13, 2024
|
|
[Job] Ocaml developer at Routine, Paris
|
|
0
|
1146
|
April 8, 2024
|
|
Recruitement on the Catala project (French)
|
|
0
|
446
|
February 26, 2024
|
|
[Job] Prefaculty/postdoc research position at Jane Street (New York or London)
|
|
0
|
740
|
January 23, 2024
|
|
[Postdoc] Compositional Automated Verification for OCaml
|
|
0
|
503
|
December 1, 2023
|
|
Recherche un développeur OCaml pour travailler sur une application avec Ocsigen/Eliom
|
|
2
|
706
|
October 26, 2023
|
|
Hiring Functional Software Engineers (OCaml or Haskell) in Paris, France!
|
|
0
|
719
|
October 11, 2023
|
|
List your open OCaml positions on the OCaml.org job board
|
|
19
|
2931
|
September 26, 2023
|
|
Senior software engineer at Asemio in Tulsa, OK
|
|
5
|
2416
|
July 13, 2023
|
|
Ahrefs is Hiring
|
|
1
|
1303
|
May 11, 2023
|
|
3-year engineering position in Deducteam, Inria Paris-Saclay, France
|
|
0
|
664
|
April 22, 2023
|
|
Available for Hire - Q1 2023
|
|
1
|
1141
|
February 10, 2023
|
|
Position in software dependability at the French space agency CNES - Toulouse
|
|
2
|
898
|
December 26, 2022
|
|
Internship at CNES, the French Space Agency, on Dependability and Functional Programming
|
|
0
|
851
|
October 14, 2022
|
|
[job | fulltime / internship | Paris] LexiFi is hiring!
|
|
3
|
2005
|
October 10, 2022
|