Numalis
Formal validation of AI for critical systems
Routing your brief is free — providers fund the channel. Capped at three recipients.
Numalis is a L0-verified AI-implementation provider based in Montpellier, France, delivering mlops-evaluation, governance-compliance. Ranked on proof — 0 verified records on the Trustgent index.
What they build
Numalis is a Montpellier deep-tech applying formal methods to validate neural network robustness and explainability for aviation, defence and transport clients. Its CEO edits the ISO/IEC 24029 series on AI trustworthiness. Services combine engineering with governance-framework work aligned to ISO 42001 and AFNOR SPEC 2401.
Quick facts
- HQ
- Montpellier, France
- Founded
- 2015
- Team
- 10-50
- Languages
- fr, en
- Stack
- ISO/IEC 24029ISO 42001Formal methods
Capabilities
- MLOps & evaluation
- AI governance & compliance
Industries served
- Healthcare
- Manufacturing & industrial
- Logistics & supply chain
- Government & public sector
Regulatory readiness (provider-stated)
Provider-stated readiness. Trustgent cross-references these against independent sources at L2 and above — treat un-cross-referenced flags as claims, not confirmations.
About Numalis
What does Numalis build?
Numalis is a L0-verified AI-implementation provider on Trustgent, delivering MLOps & evaluation, AI governance & compliance.
Where is Numalis based?
Numalis is headquartered in Montpellier, France.
How is Numalis verified on Trustgent?
Numalis has an EARNED verification level of L0 on Trustgent, with 0 contributing verified records. Verification is independent of any subscription — plan tier is never a ranking input.
How is Numalis ranked?
Rank is a pure function of three EARNED signals: verification level (dominant), record count, and recency. No plan, fee, spend, or paid placement is ever an input. See https://trustgent.com/how-we-rank.