Hi there!
We track 52,000+ AI startups and surface hidden job opportunities that never appear on LinkedIn. Tell us what you're looking for, our AI agent does the searching. It's free and you sign up using Google. Go explore!
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…
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…
TL;DR
Founded: 2015 in Montpellier, France
Focus: Validation, robustness and explainability of AI using formal methods
Target industries: Safety‑critical and highly regulated sectors (transport, healthcare, defense, finance)
Recent funding: €5M round (announced Nov 7, 2023)
Company Overview
Problem Domain
AI reliability, verification and certification for safety‑critical systems
Founded
2015
Industry
Data and Analytics
Tech Stack
Funding Track Record
€5,000,000
Round participants named include Definvest (managed by Bpifrance), 115K (La Banque Postale fund), MBDA and Safran Corporate Ventures
Investor Signal
“Mix of public and corporate investors including Definvest (Bpifrance), 115K, MBDA and Safran Corporate Ventures”
Founders
What we do
Join the Team
Startup jobs. A lot of them.
Your next opportunity is in here somewhere. Sign up to explore 52,000+ startups and their open roles. No spam. No gamification. Just jobs.
52,000+
Startups
66,000+
Open Roles
1,300+
New This Week