|
[JOB] Software engineer position at LexiFi (Paris)
|
|
0
|
864
|
May 4, 2021
|
|
[Job] Ecosystem Engineer and Technical Writer positions
|
|
0
|
641
|
March 31, 2021
|
|
Theorem Proving with Coq & Ocaml
|
|
0
|
1273
|
March 23, 2021
|
|
Senior Developer vacancy at Cryptosense, France (or remote)
|
|
0
|
695
|
March 9, 2021
|
|
Js_of_Ocaml position at TrustInSoft
|
|
0
|
702
|
March 9, 2021
|
|
Senior software engineer at Docent, France - Remote OK
|
|
4
|
1285
|
December 23, 2020
|
|
Dialo is hiring frontend and backend OCaml developers (Remote)
|
|
0
|
1076
|
October 13, 2020
|
|
Job offer in Paris - Be Sport
|
|
1
|
1114
|
September 4, 2020
|
|
Senior Software Engineer at Bloomberg L.P. in New York
|
|
0
|
1020
|
May 27, 2020
|
|
Compiler Engineer at Mixtional Code in Darmstadt or anywhere else in Germany
|
|
3
|
985
|
March 25, 2020
|
|
Developer position at Abacus Medicine, Copenhagen
|
|
0
|
1098
|
February 3, 2020
|
|
[Job] Data engineer position at Elastic, US/Canada/Western Europe (proximate to NA timezones)
|
|
0
|
1443
|
January 10, 2020
|
|
Two master internship proposals to explore social and technical aspects of the creation of the OCaml and Coq platforms
|
|
1
|
986
|
January 27, 2020
|
|
Internship at Nomadic Labs
|
|
0
|
1041
|
December 5, 2019
|
|
Write a function
|
|
3
|
1268
|
July 2, 2019
|
|
Coccinelle engineer position
|
|
0
|
964
|
June 3, 2019
|
|
Engineer to work at Inria-Paris (LIP6) on Coccinelle
|
|
1
|
944
|
May 5, 2019
|
|
GSoC project on Coccinelle
|
|
0
|
630
|
March 16, 2019
|
|
Developer position at Be Sport, Paris
|
|
2
|
1247
|
March 11, 2019
|
|
BTG Trading is hiring OCaml devs in Puerto Rico
|
|
0
|
1117
|
March 4, 2019
|
|
Quantitative developer position at LexiFi, Paris
|
|
0
|
1110
|
August 2, 2018
|
|
Looking for OCaml developers for a Tezos based Decentralised Betting Exchange!
|
|
0
|
1110
|
July 6, 2018
|
|
(filled, posting is no longer open) Threat research engineer job, Endgame, US
|
|
0
|
1480
|
May 1, 2018
|
|
OCaml job opportunity at Citrix in Cambridge UK
|
|
0
|
1367
|
June 12, 2018
|
|
OCaml internship opportunities?
|
|
6
|
2843
|
June 1, 2018
|
|
[Job] Haxe Foundation is recruiting a compiler developer
|
|
1
|
1456
|
May 16, 2018
|
|
Student intern positions, SAP Innovation Center Network, Potsdam, Germany
|
|
0
|
1158
|
May 8, 2018
|
|
Engineer position at INRIA Rennes to work on sat solver
|
|
0
|
1156
|
March 23, 2018
|
|
OCaml developer position at Be Sport
|
|
1
|
1571
|
March 13, 2018
|
|
RfP #2: Enhance OCaml Interop with Tcl/Tk
|
|
0
|
1242
|
March 12, 2018
|