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.
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.
Remote, USA
Remote senior role enhancing Semgrep's static analysis engine. Requires 4+ years in software development (3+ in static analysis), functional language experience. Focus on performance, language support, and security tooling. $176K-207K.