Atom Feed
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.
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.
Rennes, France
Research Engineer developing the Salto static analyzer for OCaml programs. OCaml with abstract interpretation, focusing on exception detection, integer overflow, and undefined behavior analysis.
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
Software Engineer building frontend, backend, and infrastructure for financial derivatives and structured products. Heavy OCaml stack, core libraries and services, cloud-hosted deployments, reliability and tooling, collaborating with quant teams on pricing models.
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.
Remote, EU
Senior OCaml Engineer building core infrastructure automation and orchestration tools. Design architecture, implement key features, and contribute to open-source projects.