Imandra is a provider of automated formal verification and model-based testing solutions. The company specializes in the application of formal methods to ensure the correctness and safety of complex, mission-critical software systems, particularly in the finance and autonomous industries.
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.