OCaml Jobs - January 2023
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
PlantingSpace
Numerical Analysis Researchers
Posted 3 years, 5 months ago
We are a research and development startup, with an ambitious goal to build a system capable of understanding knowledge, to answer questions and get things done. Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Category The…
-
PlantingSpace
Senior Software Engineers
Posted 3 years, 6 months ago
We are a research and development startup, with an ambitious goal to build a system capable of understanding knowledge, to answer questions and get things done. Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Category The…
-
Draper Laboratory
Formal Methods Engineers at all levels
Posted 4 years, 1 month ago
Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.
Tech stack
Location
Cambridge
-
Formal Land
Coq proof engineer
Posted 4 years, 4 months ago
At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally verifying th…
-
BitMEX
Analytics team
Posted 4 years, 5 months ago
Spend the morning supporting users then handover to the next time zone. Afternoon for undisturbed R&D. Mid-level IC roles. Work entirely remotely, subject to regulatory considerations. We can relocate you to Zurich (Switzerland), Singapore, Hong Kong or Vanco…
Roles
Tech stack
Location
CH, CA, SG, HK, Remote
Compensation
Derivatives exchange, USD 1 trillion/y turnover; ~100TB of relational internal data now, PB-scale external sources later; Redshift, PostgreSQL, Tableau, kdb+, legacy Python but open to Haskell/Mercury/Idris on Nix, Rust, Zio, Kotlin, OCaml for new projects.
-
BitMEX
Analytics team
Posted 4 years, 6 months ago
Spend the morning supporting users then handover to the next time zone. Afternoon for undisturbed R&D. Mid-level IC roles. Work entirely remotely, subject to regulatory considerations. We can relocate you to Zurich (Switzerland), Singapore, Hong Kong or Vanco…
Roles
Tech stack
Location
CH, CA, SG, HK, Remote
Compensation
Derivatives exchange, USD 1 trillion/y turnover; ~100TB of relational internal data now, PB-scale external sources later; Redshift, PostgreSQL, Tableau, kdb+, legacy Python but open to Haskell/Mercury/Idris on Nix, Rust, Zio, Kotlin, OCaml for new projects.