See other companies on Welcome to the Jungle
Imandra
Cloud-scale automated reasoning engine
- 21-100 employees
- B2B
- Artificial Intelligence
- Deep Tech
- Machine Learning
- SaaS
- Civic District, Austin, TX
Jump to section
Company mission
To revolutionize algorithm design, regulation, transparency, and governance by democratizing automated reasoning.
Our take
Imandra is an AI startup developing a cloud-native automated reasoning engine for the analysis of algorithms and data. The company is relied upon by top investment banks for the design, testing and governance of highly regulated trading systems.
Over the last decade, there have been many advances in the field of formal verification, and Imandra has been working on crafting an engine that combines these advances into a highly automated reasoning engine focused on scaling algorithm analysis.
Imandra has worked in R&D and industrial pilots over the past 8 years and has previously raised funding from several top deep-tech investors in the US and UK. It plans to use the capital gained to further expand the company's AI capabilities to autonomous vehicles, robotics and machine learning, and so the future certainly seems exciting.
Kirsty
Company Specialist at Welcome to the Jungle
Benefits
- Medical, Dental, and Vision insurance
- 401K Plan
- Stock Option Plan
Funding (last 2 of 5 rounds)
Sep 2021
$6.4m
SEED
Apr 2019
$5m
SEED
Total funding: $19m
This company has top investors
Leadership
Denis Ignatovich
(Co-CEO)Previously worked for Deutsche Bank, starting as a Quantitative Analyst and working up to become the Head of Central Risk Trading Europe.
Grant Olney Passmore
(Co-CEO)Graduated from The University of Edinburgh with a Doctor of Philosophy in Automated Theorem Proving and Algorithmic Algebraic Geometry.
Office
Articles
Jobs (6)
Software Engineering
Other Engineering
Sales & Account Management