Overview
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.
Key Information
- Locations
-
London, England, UK
🇬🇧 - Remote Friendly
- No
- Categories
-
OCaml