Numalis develops solutions that validate AI algorithms using formal methods to provide explainability and to test robustness and reliability. Its product targets critical systems where mathematical rigor is required, with interest from defense and health sectors. The company offers solutions hosted on a sovereign infrastructure and aims to serve organisations of all sizes seeking certified AI deployments. With the new financing, Numalis plans significant investment in R&D and to accelerate deployment of its solutions in France and Europe. The startup also intends to explore expansion into North America and Asia. The company is based in Montpellier and emphasizes the French tradition in formal-methods approaches.

Total raised

$5M

Funding rounds

1

Latest round

Equity

Latest activity

Nov 2023