Hi there!
We track 52,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 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…
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…
TL;DR
Product: ImandraX — cloud-scale automated reasoning/theorem-proving platform
Headquarters: Austin, Texas (office in London)
Founders: Denis Ignatovich and Dr. Grant Passmore
Total funding (publicly reported): USD 19,350,000
Employees (approx.): 25
Company Overview
Problem Domain
Automated reasoning / formal verification for AI systems and governance of critical algorithms.
Industry
Software Development
Funding Track Record
£1.0m
£1.0m
USD 5.0m
USD 5.0m
Dealroom lists additional funding events through Sep 2021
Investor Signal
“IQ Capital; AlbionVC; Citi; Anthemis Group; LiveOak Venture Partners”
Founders
What we do
Join the Team
Startup jobs. A lot of them.
Your next opportunity is in here somewhere. Sign up to explore 52,000+ startups and their open roles. No spam. No gamification. Just jobs.
52,000+
Startups
66,000+
Open Roles
1,500+
New This Week
Related Companies
| Company |
|---|
 |
 |
 |
 |
 |