OCaml Developer
AhrefsSingapore | Palo Alto, CA, USA
OCaml Developer building backend systems handling 25 petabytes of live data. OCaml with C++, focusing on distributed systems, OS internals, and full development cycle from design to production.
Singapore | Palo Alto, CA, USA
OCaml Developer building backend systems handling 25 petabytes of live data. OCaml with C++, focusing on distributed systems, OS internals, and full development cycle from design to production.
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.
Rennes, France
Research engineer developing Salto, a static analyzer for OCaml programs using abstract interpretation. Detects uncaught exceptions, assertion failures, integer overflows, and undefined behaviors.
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.
London, England, UK
Production Engineer building and supporting critical trading systems. OCaml with infrastructure monitoring and incident resolution, splitting time between software development and support rotations.
New York, NY, USA
Production Engineer building and supporting critical trading systems. OCaml with infrastructure monitoring and incident resolution, splitting time between software development and support rotations.
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.
Remote, EU
Senior OCaml Engineer building core infrastructure automation and orchestration tools. Design architecture, implement key features, and contribute to open-source projects.