Imandra
Imandra's Overview
Imandra is a technology company specializing in AI-powered automated reasoning and formal verification. Their core offering, Imandra Reasoning as a Service™ (IRaaS), is a cloud-based platform used to design, build, analyze, and prove the correctness and safety of critical algorithms and software systems. By applying deep advances in symbolic AI, Imandra helps organizations in sectors like financial services, autonomous systems, and aerospace to de-risk their operations, ensure regulatory compliance, and accelerate innovation. The company aims to make the power of formal methods accessible and practical for tackling real-world challenges where system reliability is paramount.
Where is Imandra's Headquarters?
HQ Function
The Austin headquarters serves as the central node for Imandra's executive leadership, core research and development in AI and formal methods, strategic planning, and coordination of global operations.
Notable Features:
Located in a modern office building in downtown Austin, the headquarters is designed to foster a collaborative and innovative environment for its team of researchers and engineers.
Work Culture:
Imandra's HQ likely cultivates an intellectually stimulating and rigorous work culture, emphasizing deep technical expertise, problem-solving, and innovation in the field of automated reasoning. It attracts talent passionate about mathematics, computer science, and AI.
HQ Significance:
The Austin headquarters is strategically important, positioning Imandra within a vibrant tech ecosystem known for talent, venture capital, and industry partnerships, crucial for its growth in AI and critical systems verification.
Values Reflected in HQ: The headquarters' environment likely reflects Imandra's core values of precision, innovation, intellectual rigor, and collaboration, essential for its mission in formal verification.
Location:
Imandra maintains a strategic global presence with offices in key technology and financial hubs: Austin (HQ) and New York in the USA, and London in the UK. These locations enable Imandra to support its international clientele, conduct cutting-edge research, and drive adoption of its AI-powered automated reasoning platform across diverse industries worldwide.
Street Address:
701 Brazos St
City:
Austin
State/Province:
Texas
Country:
USA
Imandra's Global Presence
London, UK
Address: Level39, One Canada Square, Canary Wharf, London E14 5AB, UK
To expand market presence in Europe, provide localized support to clients, and tap into the rich talent pool for fintech and AI.
New York, NY, USA
Address: 135 W 41st St, New York, NY 10036, USA
To strengthen Imandra's engagement with key US markets, particularly the financial services industry in New York, and provide direct client support.
Buying Intent Signals for Imandra
Highperformr Signals uncover buying intent and give you clear insights to target the right accounts at the right time — helping your sales, marketing, and GTM teams close more deals, faster.
Executive Team of Imandra
As of April 2025, Imandra' leadership includes:
Investors of Imandra
Imandra has been backed by several prominent investors over the years, including:
Executive New Hires/Exits in the Last 12 Months
Based on publicly available information, no major C-suite executive hires or departures at Imandra have been prominently announced in the last 12 months (approximately May 2023 - May 2024). The leadership team, which saw key appointments such as the Chief Commercial Officer and Head of Product in early 2023, appears to have remained consistent.
Technology (Tech Stack) used by Imandra
Discover the tools Imandra uses. Highperformr reveals the technologies powering your target accounts — helping your sales, marketing, and GTM teams prioritize smarter and close faster.
Imandra Email Formats and Examples
Imandra likely utilizes standard professional email address formats. The most common pattern observed for Imandra employees is a combination of the first initial and last name.
[first_initial][last]@imandra.com
Format
jdoe@imandra.com
Example
75%
Success rate
News and media
Imandra Website (Press Release) • March 20, 2024
Imandra Partners with a Tier 1 Investment Bank to Transform Management of Complex Trading Systems
Imandra announced a strategic partnership with an unnamed Tier 1 investment bank to deploy its AI-powered platform. This collaboration aims to formally verify and manage the bank's complex trading systems, enhancing safety, compliance, and operational efficiency....more
Imandra Website (Press Release) • October 12, 2023
Imandra Announces $31 Million Series A+ Funding Led by Coatue
Imandra secured $31 million in Series A+ funding. The round was led by Coatue, with participation from existing investors Valar Ventures, AlbionVC, IQ Capital, LiveOak Venture Partners, and new investors including Moore Strategic Ventures and an investment arm of Wells Fargo. The funds are aimed at accelerating the adoption of Imandra's AI platform....more
Finextra • October 12, 2023
Wells Fargo makes strategic investment in Imandra
As part of Imandra's $31 million Series A+ funding round, Wells Fargo Strategic Capital made a strategic investment, highlighting growing interest from major financial institutions in Imandra's formal verification technology for critical systems....more
Highperformr’s free tools for company research
Explore Employees by Region or Country
See where a company’s workforce is located, by country or region.
View Funding Details
View past and recent funding rounds with amounts and investors.
Understand Revenue Insights
Understand company revenue estimates and financial scale.
Track Active Job Openings
Track active roles and hiring trends to spot growth signals.
Review Product and Offerings
Discover what a company offers—products, platforms, and solutions.
Get SIC or NAICS Codes
Get the company’s official SIC and NAICS classifications.
Analyze Website Traffic Trends
Analyze visitor volume, engagement, and top traffic sources.
Discover Social Profiles and Engagement
Explore LinkedIn, Twitter, and other active social profiles.
Identify Top Competitors
Identify top competitors based on similar business traits.
Research and Discover Companies with Highperformr — Smarter, Faster
Explore companies in depth — from the tech they use to recent funding, hiring trends, and buyer signals — all in one powerful view.
Highperformr AI helps you surface the right accounts and enrich your CRM with verified company and contact insights, so your teams can prioritize and engage faster.
- Track intent signals to find buyers who are actively in-market
- Enrich contacts and companies instantly, no need to switch tools
- Automate workflows to stay ahead of every change
- Connect your CRM & tools for seamless data sync and activation
Thousands of companies, including Imandra, are just a search away.