Hi there!
We track 70,000+ AI startups and surface hidden job opportunities that never appear on LinkedIn. Tell us what you're looking for, our AI agent does the searching. It's free and you sign up using Google. Go explore!
Imandra
Imandra Inc. is an AI startup specializing in cloud-scale automated reasoning systems that bring rigor and governance to critical algorithms. Their Reasoning as a Service® platform leverages deep…
Imandra
Imandra Inc. is an AI startup specializing in cloud-scale automated reasoning systems that bring rigor and governance to critical algorithms. Their Reasoning as a Service® platform leverages deep…
TL;DR
Sector: AI / Automated reasoning / Formal verification
Headquarters: Austin, Texas (office in London)
Founders: Denis Ignatovich; Dr. Grant Passmore
Business model: SaaS (Reasoning as a Service)
Known investors: AlbionVC; Citi; IQ Capital
Company Overview
Problem Domain
Formal verification and automated reasoning for high-assurance software in financial services, government, and other regulated domains.
Founded
2014
Industry
Software Development
Tech Stack
Funding Track Record
Crunchbase lists a convertible note with AlbionVC, Citi and IQ Capital as lead investors.
Investor Signal
“Participation from institutional investors including AlbionVC, Citi, and IQ Capital”
