OCaml jobs

Atom feed icon Atom Feed
Showing (9) result(s).

OCaml Developer

Ahrefs

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.

OCaml
Verified: 2025-07-29

Software Engineer (Engineer III to Principal) - Formal Methods

CertiK

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.

OCaml
Verified: 2025-07-29

Senior Software Engineer - XenServer Toolstack

Cloud Software Group

Cambridge, England, UK

🏠 🇬🇧

Senior remote role developing XenServer’s OCaml-based control plane for VM orchestration. Involves distributed systems, API design, and open source. Unix/Linux experience required; OCaml or functional language background preferred.

OCaml
Verified: 2025-07-29

Functional Software Engineer

Imandra

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.

OCaml
Verified: 2025-07-29

Functional Software Engineer

Imandra

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.

OCaml
Verified: 2025-07-29

Software Engineer

Jane Street

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.

OCaml
Verified: 2025-07-29

Programming Language Engineer

Jane Street

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.

OCaml
Verified: 2025-07-29

OCaml Developer (all levels)

OCamlPro

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.

OCaml
Verified: 2025-07-29

Senior Program Analysis Engineer, Code

Semgrep

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.

OCaml
Verified: 2025-07-29