[Job] Postdoc position in Effect Handler Oriented Programming
|
|
0
|
1013
|
October 8, 2021
|
Développeur-euse oCaml - CDI Geneanet - Paris
|
|
0
|
1263
|
October 1, 2021
|
OCaml quant-developer at Bloomberg. London or New York
|
|
0
|
1520
|
September 2, 2021
|
Software engineer at Wolfram MathCore
|
|
0
|
1452
|
August 27, 2021
|
Short contract job for OCaml/C++ programmer
|
|
0
|
1305
|
August 5, 2021
|
[Job] Developer Experience Engineer at Jane Street
|
|
0
|
1424
|
July 8, 2021
|
Compiler engineer for OCaml and WebAssembly, Germany
|
|
0
|
1323
|
June 25, 2021
|
Runtime Systems Engineer, OCaml Labs (UK) / Tarides (FR) / Segfault Systems (IN) / Remote
|
|
0
|
2087
|
June 3, 2021
|
Benchmark Tooling Engineer Position
|
|
0
|
1109
|
June 2, 2021
|
Looking for open source OCaml & ErlangVM advisor
|
|
4
|
1204
|
May 30, 2021
|
[Job] Ocaml developer at Routine, Paris, Remote OK
|
|
0
|
1958
|
May 25, 2021
|
[Job] Applied PL research at Jane Street
|
|
0
|
1819
|
May 19, 2021
|
[JOB] Backend developer position at Issuu (Copenhagen)
|
|
6
|
1734
|
May 11, 2021
|
[JOB] Software engineer position at LexiFi (Paris)
|
|
0
|
1460
|
May 4, 2021
|
[Job] Ecosystem Engineer and Technical Writer positions
|
|
0
|
1134
|
March 31, 2021
|
Theorem Proving with Coq & Ocaml
|
|
0
|
2349
|
March 23, 2021
|
Senior Developer vacancy at Cryptosense, France (or remote)
|
|
0
|
1148
|
March 9, 2021
|
Js_of_Ocaml position at TrustInSoft
|
|
0
|
1097
|
March 9, 2021
|
Senior software engineer at Docent, France - Remote OK
|
|
4
|
1868
|
December 23, 2020
|
Dialo is hiring frontend and backend OCaml developers (Remote)
|
|
0
|
1541
|
October 13, 2020
|
Job offer in Paris - Be Sport
|
|
1
|
1598
|
September 4, 2020
|
Senior Software Engineer at Bloomberg L.P. in New York
|
|
0
|
1503
|
May 27, 2020
|
Compiler Engineer at Mixtional Code in Darmstadt or anywhere else in Germany
|
|
3
|
1510
|
March 25, 2020
|
Developer position at Abacus Medicine, Copenhagen
|
|
0
|
1615
|
February 3, 2020
|
[Job] Data engineer position at Elastic, US/Canada/Western Europe (proximate to NA timezones)
|
|
0
|
2118
|
January 10, 2020
|
Two master internship proposals to explore social and technical aspects of the creation of the OCaml and Coq platforms
|
|
1
|
1509
|
January 27, 2020
|
Internship at Nomadic Labs
|
|
0
|
1479
|
December 5, 2019
|
Write a function
|
|
3
|
1726
|
July 2, 2019
|
Coccinelle engineer position
|
|
0
|
1357
|
June 3, 2019
|
Engineer to work at Inria-Paris (LIP6) on Coccinelle
|
|
1
|
1446
|
May 5, 2019
|