|
Internship at CNES, the French Space Agency, on Dependability and Functional Programming
|
|
0
|
854
|
October 14, 2022
|
|
[job | fulltime / internship | Paris] LexiFi is hiring!
|
|
3
|
2017
|
October 10, 2022
|
|
Engineer position at Imandra (Austin TX/UK)
|
|
0
|
1027
|
September 12, 2022
|
|
Jane Street is Hiring Front End Engineers
|
|
0
|
1416
|
July 15, 2022
|
|
[job] Open Source tooling engineer at Jane Street
|
|
0
|
1299
|
June 28, 2022
|
|
Job offer: 3 years compiler engineer at the French tax authority
|
|
1
|
1610
|
June 14, 2022
|
|
Engineer and postdoc positions in France (various labs) to work on a proof assistant for crypto protocols
|
|
0
|
974
|
June 9, 2022
|
|
Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes
|
|
1
|
1629
|
April 29, 2022
|
|
[ job | fulltime | Paris ] Développeur principal à plein temps d'Alt-Ergo chez OCamlPro
|
|
0
|
1276
|
April 11, 2022
|
|
Tarides is hiring!
|
|
0
|
1785
|
March 23, 2022
|
|
[ job | internship] Software Engineer Position at beNEXT.io
|
|
0
|
1302
|
March 3, 2022
|
|
OCaml job at genomics company
|
|
0
|
1541
|
February 10, 2022
|
|
Functori is hiring full-time engineers & Interns
|
|
0
|
1644
|
February 2, 2022
|
|
Hiring for Very Short OCaml Project
|
|
0
|
1247
|
December 10, 2021
|
|
[Job] Build System Engineer at Jane Street
|
|
8
|
4834
|
November 10, 2021
|
|
Looking for Professional OCaml Developers for Short Research Study
|
|
2
|
1146
|
October 25, 2021
|
|
[job | internship] Software Engineer Position at OCamlPro (France)
|
|
0
|
1722
|
October 21, 2021
|
|
[Job] Postdoc position in Effect Handler Oriented Programming
|
|
0
|
1090
|
October 8, 2021
|
|
Développeur-euse oCaml - CDI Geneanet - Paris
|
|
0
|
1388
|
October 1, 2021
|
|
OCaml quant-developer at Bloomberg. London or New York
|
|
0
|
1665
|
September 2, 2021
|
|
Software engineer at Wolfram MathCore
|
|
0
|
1560
|
August 27, 2021
|
|
Short contract job for OCaml/C++ programmer
|
|
0
|
1379
|
August 5, 2021
|
|
[Job] Developer Experience Engineer at Jane Street
|
|
0
|
1504
|
July 8, 2021
|
|
Compiler engineer for OCaml and WebAssembly, Germany
|
|
0
|
1403
|
June 25, 2021
|
|
Runtime Systems Engineer, OCaml Labs (UK) / Tarides (FR) / Segfault Systems (IN) / Remote
|
|
0
|
2368
|
June 3, 2021
|
|
Benchmark Tooling Engineer Position
|
|
0
|
1171
|
June 2, 2021
|
|
Looking for open source OCaml & ErlangVM advisor
|
|
4
|
1289
|
May 30, 2021
|
|
[Job] Ocaml developer at Routine, Paris, Remote OK
|
|
0
|
2316
|
May 25, 2021
|
|
[Job] Applied PL research at Jane Street
|
|
0
|
1962
|
May 19, 2021
|
|
[JOB] Backend developer position at Issuu (Copenhagen)
|
|
6
|
1951
|
May 11, 2021
|