Company profile
Imandra
Imandra is the world leader in neurosymbolic AI and cloud-scale automated reasoning.
- Industry
- Software Development
- Employees
- 17
- Headquarters
- Austin, TX
- Founded
- 2014
- LinkedIn followers
- 2,968
- Office locations
- 2
Imandra company summary
Imandra is a company in the Software Development industry, headquartered in Austin, TX, founded in 2014. On LinkedIn the company has around 17 employees and 2,968 followers. The company lists 2 office locations. Its listed specialties include Formal verification, Software safety and correctness, Trading systems, Financial infrastructure, Automated reasoning.
What technology does Imandra use?
No technologies detected yet. Warmrank rechecks company websites on a rolling basis.
About Imandra
Imandra is the world leader in neurosymbolic AI and 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.
Specialties
Where is Imandra located?
Imandra lists 2 office locations.
Compare companies similar to Imandra
More companies in Software Development.
| Company | Industry | Employees | Founded | Headquarters |
|---|---|---|---|---|
Imandra imandra.ai | Software Development | 17 | 2014 | Austin, TX |
 Vagas.com vagas.com.br | Software Development | 3,304 | 1999 | São Paulo, SP |
 Salesforce Work.com salesforce.com | Software Development | 87,907 | - | San Francisco, California |
 Microsoft github.com | Software Development | 6,587 | 2008 | San Francisco, CA |
 SAP Concur sap.com | Software Development | 147,691 | 1972 | Walldorf, BW |
 Upwork upwork.com | Software Development | 176,790 | 2015 | San Francisco, California, US |
 TechCrunch techcrunch.com | Software Development | 582 | - | San Francisco, California |
 Zoho zoho.com | Software Development | 30,854 | - | Chennai, Tamil Nadu |
 Canva canva.com | Software Development | 17,794 | 2012 | Surry Hills, New South Wales, AU |
 Atlassian atlassian.com | Software Development | 21,061 | 2002 | Sydney, NSW, AU |
 Shopee shopee.com | Software Development | 76,519 | - | Singapore, Singapore, SG |
Frequently asked questions about Imandra
What does Imandra do?
Imandra is the world leader in neurosymbolic AI and 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.
How many employees does Imandra have?
Imandra has around 17 employees on LinkedIn.
Where is Imandra headquartered?
Imandra is headquartered in Austin, TX.
Where does Imandra have offices?
Imandra lists 2 office locations, including Austin, TX, US; City of London, EC2Y 5EJ, GB.
When was Imandra founded?
Imandra was founded in 2014.
Build a lead list from companies like Imandra
Describe your ICP or import a CSV. Warmrank finds matching companies, enriches contacts with verified emails, and tracks every lead.