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
- Languages
- OCaml