Imandra

Imandra is the world leader in cloud-scale automated reasoning. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandra's Reasoning as a Service™ platform is leading the way.

imandra.ai

Imandra

imandra.ai

HQUS

Team Size25

Open Jobs2

Total Funding$19M

Latest FundraiseUnknown

TL;DR

Founded: Sep 2014

Headquarters: Austin, Texas (with a London office)

Total funding: USD 21,580,000

Latest round: Convertible Note (latest disclosed)

Flagship product: Imandra Markets (digital-twin verification for exchanges)

Tech focus: Automated reasoning / formal verification (ImandraX, IML)

Company Overview

Problem Domain

Regulated and safety-critical systems, especially capital markets and exchange technology; formal verification and governance of complex algorithmic systems.

Founded

2014

Industry

Automated reasoning / Formal verification; Financial technology (capital markets)

Tech Stack

ImandraX automated reasoning engine

IML (pure subset of OCaml)

Model Context Protocol (MCP)

Neurosymbolic AI / logical reasoning

Explainable, auditable reasoning outputs

Funding Track Record

Seed- Sep 2021

£5.0m

Convertible Note- 2024-04-20

Investor Signal

“Backed by venture investors including AlbionVC, IQ Capital, Citi, LiveOak Venture Partners, and Green Visor Capital”

Founders

What we do

TL;DR

Company Overview

Funding Track Record

Founders

What we do

Imandra

imandra.ai

Imandra

imandra.ai

HQUS

Team Size25

Open Jobs2

Total Funding$19M

Latest FundraiseUnknown

TL;DR

Founded: Sep 2014

Headquarters: Austin, Texas (with a London office)

Total funding: USD 21,580,000

Latest round: Convertible Note (latest disclosed)

Flagship product: Imandra Markets (digital-twin verification for exchanges)

Tech focus: Automated reasoning / formal verification (ImandraX, IML)

Related Companies

Company	HQ	Industry	Total Funding
Elliptic	🇬🇧GB	Security	$101M
Symbolica AI	🇺🇸US	Data and AnalyticsDeepTechInformation TechnologySoftware	$33M
Mistral Ai	🇫🇷FR	Data and AnalyticsDeepTechInformation TechnologySoftware	-
Artificial Labs	🇬🇧GB	Data and AnalyticsDeepTechFinanceInformation TechnologySoftware	$73M
Spiral	🌍Remote	Data and AnalyticsInformation TechnologySoftware	-

Company Overview

Problem Domain

Regulated and safety-critical systems, especially capital markets and exchange technology; formal verification and governance of complex algorithmic systems.

Founded

2014

Industry

Automated reasoning / Formal verification; Financial technology (capital markets)

Tech Stack

ImandraX automated reasoning engine

IML (pure subset of OCaml)

Model Context Protocol (MCP)

Neurosymbolic AI / logical reasoning

Explainable, auditable reasoning outputs

Funding Track Record

Seed- Sep 2021

£5.0m

Convertible Note- 2024-04-20

Investor Signal

“Backed by venture investors including AlbionVC, IQ Capital, Citi, LiveOak Venture Partners, and Green Visor Capital”

Founders

What we do

Join the Team

Teeming tracks opportunities at over 24,000 AI startups, then works with you to find (and land) the one you'll love.

Product Designer

ContractHaifa

Contract • Haifa

AI Researcher

ContractTel Aviv

Contract • Tel Aviv

Data Scientist

InternshipBelgrade, RS

Internship • Belgrade, RS

Software Engineer

Full-timeAmsterdam, NL

Full-time • Amsterdam, NL

Product Designer

ContractCambridge, GB

Contract • Cambridge, GB

Technical Writer

InternshipTel Aviv

Internship • Tel Aviv