|
[Job] Ecosystem Engineer and Technical Writer positions
|
|
0
|
1189
|
March 31, 2021
|
|
Theorem Proving with Coq & Ocaml
|
|
0
|
2590
|
March 23, 2021
|
|
Senior Developer vacancy at Cryptosense, France (or remote)
|
|
0
|
1207
|
March 9, 2021
|
|
Js_of_Ocaml position at TrustInSoft
|
|
0
|
1142
|
March 9, 2021
|
|
Senior software engineer at Docent, France - Remote OK
|
|
4
|
2026
|
December 23, 2020
|
|
Dialo is hiring frontend and backend OCaml developers (Remote)
|
|
0
|
1674
|
October 13, 2020
|
|
Job offer in Paris - Be Sport
|
|
1
|
1688
|
September 4, 2020
|
|
Senior Software Engineer at Bloomberg L.P. in New York
|
|
0
|
1613
|
May 27, 2020
|
|
Compiler Engineer at Mixtional Code in Darmstadt or anywhere else in Germany
|
|
3
|
1602
|
March 25, 2020
|
|
Developer position at Abacus Medicine, Copenhagen
|
|
0
|
1703
|
February 3, 2020
|
|
[Job] Data engineer position at Elastic, US/Canada/Western Europe (proximate to NA timezones)
|
|
0
|
2183
|
January 10, 2020
|
|
Two master internship proposals to explore social and technical aspects of the creation of the OCaml and Coq platforms
|
|
1
|
1588
|
January 27, 2020
|
|
Internship at Nomadic Labs
|
|
0
|
1542
|
December 5, 2019
|
|
Write a function
|
|
3
|
1811
|
July 2, 2019
|
|
Coccinelle engineer position
|
|
0
|
1420
|
June 3, 2019
|
|
Engineer to work at Inria-Paris (LIP6) on Coccinelle
|
|
1
|
1529
|
May 5, 2019
|
|
GSoC project on Coccinelle
|
|
0
|
1042
|
March 16, 2019
|
|
Developer position at Be Sport, Paris
|
|
2
|
1941
|
March 11, 2019
|
|
BTG Trading is hiring OCaml devs in Puerto Rico
|
|
0
|
1596
|
March 4, 2019
|
|
Quantitative developer position at LexiFi, Paris
|
|
0
|
1547
|
August 2, 2018
|
|
Looking for OCaml developers for a Tezos based Decentralised Betting Exchange!
|
|
0
|
1545
|
July 6, 2018
|
|
(filled, posting is no longer open) Threat research engineer job, Endgame, US
|
|
0
|
2037
|
May 1, 2018
|
|
OCaml job opportunity at Citrix in Cambridge UK
|
|
0
|
1861
|
June 12, 2018
|
|
OCaml internship opportunities?
|
|
6
|
3706
|
June 1, 2018
|
|
[Job] Haxe Foundation is recruiting a compiler developer
|
|
1
|
1907
|
May 16, 2018
|
|
Student intern positions, SAP Innovation Center Network, Potsdam, Germany
|
|
0
|
1576
|
May 8, 2018
|
|
Engineer position at INRIA Rennes to work on sat solver
|
|
0
|
1674
|
March 23, 2018
|
|
OCaml developer position at Be Sport
|
|
1
|
2137
|
March 13, 2018
|
|
RfP #2: Enhance OCaml Interop with Tcl/Tk
|
|
0
|
1555
|
March 12, 2018
|
|
Tarides is looking for software engineers to work on MirageOS and Irmin
|
|
0
|
2244
|
March 9, 2018
|