Atom Feed
Singapore | Remote
OCaml backend developer role managing 25PB+ of live data. Tackle distributed systems, OS internals, and full component lifecycle. Strong systems knowledge and pragmatic coding mindset essential.
New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA
Formal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.
Cambridge, England, UK
Develop the control plane for XenServer, a commercial virtualization platform, managing VMs, storage, and networking. Work primarily in OCaml, a functional language, on deep technical challenges in distributed systems and robust API design. Interest/experience in functional programming is required.
Cambridge, MA, USA
Senior Formal Methods Engineer developing software analysis tools using Haskell, OCaml, Coq, and SMT solvers. Focus on security verification, static analysis, and vulnerability detection across critical systems. Requires security clearance eligibility.
Austin, TX, USA
On-site OCaml engineer for Imandra’s automated reasoning tools. Work spans backend, ReasonML UIs, GCP/K8s infra, and formal verification. Bonus: Haskell, open-source, theorem proving.
London, England, UK
OCaml-focused role building Imandra’s cloud-based automated reasoning tools. Full-stack options: backend (PostgreSQL, Redis), frontend (ReasonML, webgl), infra (GCP, K8s), formal verification.
New York City, NY, USA
Software engineer role using OCaml and Python to build trading and research systems. Requires strong programming skills and collaborative mindset; no finance or FP experience needed.
New York, NY, USA
Work on OCaml language design, optimization, and tooling. Focus on compiler performance, new language features, and open-source contributions. Requires experience in industrial-strength language implementation. No OCaml background needed.
Paris, France
R&D engineer role focused on OCaml (and Rust) for advanced software design, functional programming, and tooling. Includes mentoring, architecture, and client-facing work. €50-65K.