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.
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
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
Senior compiler engineer role enhancing the OCaml compiler, focusing on parsing, type systems, multicore features, performance work, and WASM/JavaScript targets. Requires strong OCaml or ML experience and systems-level compiler expertise in a fully remote environment.
Remote, EU
Senior OCaml Engineer building core infrastructure automation and orchestration tools. Design architecture, implement key features, and contribute to open-source projects.