Imandra

AI reasoning platform for trustworthy neurosymbolic AI systems and formal verification

placeLondon, England, United Kingdom calendar_todayFounded 2014 groups5 employees language imandra.ai

Registered entities

Social engagement

Social engagement: 3K social following, 5 posts in the last 12 months — top quartile of its industry.

Investor mix

6 investors on record; lead investors include IQ Capital, AlbionVC, Live Oak Ventures.

Investor typeCountShare
Venture capital6100%

Hiring activity

No recent openings observed

No roles tracked in the last 12 months

2 Sep 2025 · Product Manager · Austin

22 May 2025 · Technical Writer · Austin

Based on job postings tracked across public sources.

Recent activity

15 Jun 2026
Event
Live Exchange Modeling: LLM + ImandraX Formal Reasoning Webinar
11 Jun 2026
Product launch
SpecLogician
18 May 2026
Event
Scaling Logic-First AI Coding to Large Projects
Coming soon