Numalis
Numalis is a company founded in 2015 by Arnault Ioualalen and Matthieu Martel, born from Arnault's PhD work on formal methods for AI reliability. Numalis industrializes over two decades of research to help prove AI reliability and enable confident adoption of AI systems. They contribute to global AI standards, develop tools like Saimple for AI validation (robustness and explainability), and work with industries to overcome challenges in developing trustworthy AI. Their solutions are targeted at highly regulated industries such as transport, healthcare, finance, and defense, helping them meet regulatory and certification hurdles. Numalis emphasizes professionalism, innovation, counsel, synergy with research, and education, operating with a strong commitment to diversity, inclusion, environmental sustainability, and community development.
Numalis
Numalis is a company founded in 2015 by Arnault Ioualalen and Matthieu Martel, born from Arnault's PhD work on formal methods for AI reliability. Numalis industrializes over two decades of research to help prove AI reliability and enable confident adoption of AI systems. They contribute to global AI standards, develop tools like Saimple for AI validation (robustness and explainability), and work with industries to overcome challenges in developing trustworthy AI. Their solutions are targeted at highly regulated industries such as transport, healthcare, finance, and defense, helping them meet regulatory and certification hurdles. Numalis emphasizes professionalism, innovation, counsel, synergy with research, and education, operating with a strong commitment to diversity, inclusion, environmental sustainability, and community development.
TL;DR
Founded: 2015 (Montpellier, France)
Focus: Formal-methods-based AI reliability: explainability, robustness, validation, auditability
Flagship funding: €5.0M Series A announced 2023-11-07
Typical customers / sectors: Highly regulated industries (transport, healthcare, finance, defense)
Notable investors: Definvest (Bpifrance), 115K, MBDA, Safran Corporate Ventures; 574 Invest (SNCF) joined later
Company Overview
Problem Domain
AI reliability, explainability, robustness, validation and compliance for mission-critical and highly regulated contexts.
Founded
2015
Industry
Data and Analytics
Tech Stack
Funding Track Record
€5.0M
Investors named for the round: Definvest (managed by Bpifrance), 115K, MBDA, Safran Corporate Ventures.
Strategic equity investment by 574 Invest; announced January 21, 2026 (investment entered capital in December 2025).
Investor Signal
“Mix of defense/industry strategic investors and public/VC funds (examples include MBDA and Safran Corporate Ventures alongside Definvest/Bpifrance and 115K; later corporate-venture investment from 574 Invest/SNCF).”