Imandra

Software / AI & Formal Verification

Overview

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.

Key Information

Central Office: Austin, TX, USA
Founded: 2014

Links

Website Careers portal

Latest Jobs

Functional Software Engineer

🇺🇸

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 Feb 17, 2026 View listing

Functional Software Engineer

🇬🇧

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 Feb 17, 2026 View listing