About the Jobs category
|
|
1
|
1955
|
November 14, 2017
|
Recruitement on the Catala project (French)
|
|
0
|
264
|
February 26, 2024
|
[Job] Prefaculty/postdoc research position at Jane Street (New York or London)
|
|
0
|
502
|
January 23, 2024
|
[Postdoc] Compositional Automated Verification for OCaml
|
|
0
|
354
|
December 1, 2023
|
Recherche un développeur OCaml pour travailler sur une application avec Ocsigen/Eliom
|
|
2
|
602
|
October 26, 2023
|
Hiring Functional Software Engineers (OCaml or Haskell) in Paris, France!
|
|
0
|
524
|
October 11, 2023
|
List your open OCaml positions on the OCaml.org job board
|
|
19
|
2457
|
September 26, 2023
|
Available for Hire - Q2+3+4 2023
|
|
7
|
1972
|
September 17, 2023
|
Senior software engineer at Asemio in Tulsa, OK
|
|
5
|
2285
|
July 13, 2023
|
Ahrefs is Hiring
|
|
1
|
1062
|
May 11, 2023
|
3-year engineering position in Deducteam, Inria Paris-Saclay, France
|
|
0
|
551
|
April 22, 2023
|
Available for Hire - Q1 2023
|
|
1
|
1005
|
February 10, 2023
|
Position in software dependability at the French space agency CNES - Toulouse
|
|
2
|
819
|
December 26, 2022
|
Internship at CNES, the French Space Agency, on Dependability and Functional Programming
|
|
0
|
770
|
October 14, 2022
|
[job | fulltime / internship | Paris] LexiFi is hiring!
|
|
3
|
1857
|
October 10, 2022
|
Engineer position at Imandra (Austin TX/UK)
|
|
0
|
907
|
September 12, 2022
|
Jane Street is Hiring Front End Engineers
|
|
0
|
1254
|
July 15, 2022
|
[job] Open Source tooling engineer at Jane Street
|
|
0
|
1167
|
June 28, 2022
|
Job offer: 3 years compiler engineer at the French tax authority
|
|
1
|
1453
|
June 14, 2022
|
Engineer and postdoc positions in France (various labs) to work on a proof assistant for crypto protocols
|
|
0
|
866
|
June 9, 2022
|
Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes
|
|
1
|
1510
|
April 29, 2022
|
[ job | fulltime | Paris ] Développeur principal à plein temps d'Alt-Ergo chez OCamlPro
|
|
0
|
1168
|
April 11, 2022
|
Tarides is hiring!
|
|
0
|
1634
|
March 23, 2022
|
[ job | internship] Software Engineer Position at beNEXT.io
|
|
0
|
1178
|
March 3, 2022
|
OCaml job at genomics company
|
|
0
|
1438
|
February 10, 2022
|
Functori is hiring full-time engineers & Interns
|
|
0
|
1533
|
February 2, 2022
|
Hiring for Very Short OCaml Project
|
|
0
|
1173
|
December 10, 2021
|
[Job] Build System Engineer at Jane Street
|
|
8
|
4394
|
November 10, 2021
|
Looking for Professional OCaml Developers for Short Research Study
|
|
2
|
1072
|
October 25, 2021
|
[job | internship] Software Engineer Position at OCamlPro (France)
|
|
0
|
1585
|
October 21, 2021
|