Ensuring technology serves society’s best interests

Empower the industry with international standards, rigorous methods, and disruptive solutions to deliver reliable AI systems that everyone can trust.

Leveraging Advanced Mathematical Techniques for Unwavering Algorithm Reliability.

From calculation bug correction to AI validation

In 2015, Numalis was founded by Arnault Ioualalen, along with his PhD supervisor, Matthieu Martel. Born from the industrialization project of Arnault’s PhD work, the company’s vision was aimed at enhancing the accuracy of critical avionic code.

Historical incidents underscored the urgency of our mission. On February 25, 1991, an American Patriot missile deviated 600 meters off course due to a minor internal clock counter error. This resulted in the unfortunate death of 28 American soldiers in Dhahran, Saudi Arabia. Another mishap occurred on June 4, 1996, with the Ariane 5 flight 501. A mere 39 seconds after lift-off, the rocket exploded due to a computer failure: the conversion of a 64-bit floating-point number to a 16-bit integer exceeded the latter’s capacity.

Such industrial accidents illuminated the need for improved validation in computer systems. The industry, recognizing the gravity of such errors, sought research-based solutions to prevent and rectify them.

After two decades of dedicated research, Numalis has honed an intricate skill set that amalgamates static code analysis via abstract interpretation, code synthesis and abstract analysis.

Then, with the support of the French DGA (Ministry of Defence), Numalis was able to extend its activities to the validation of artificial intelligence calculations, and more specifically to proving the robustness and explainability of neural networks.

While the products we develop may have changed, our core technological expertise and mission to provide confidence and accuracy to our customers have remained the same.

Recognizing the importance of standardization to make AI more reliable, Numalis is working with the international AI community to develop crucially needed industry standards. The ability to prove the reliability of artificial intelligence can help highly regulated industries (such as transport or healthcare) to overcome the regulatory and certification hurdles posed by these technologies. To this end, Numalis is developing new standards within the ISO/IEC and CEN CENELEC committees to define new AI validation processes.

Shape the future of trusworthy AI with us!

Join a team where innovation meets impact, and your expertise drives real-world solutions.

View career opportunities

Our Values

Making cutting-edge software to help people ensure the reliability of their AI systems is not all we do; we are more than that. At our core, we believe that passionate people can change the world for the better through technology.

Professionalism / Quality / Mutual Support

Numalis’ priority areas of activity are critical industries. It is our responsibility to ensure that our products meet their needs and are reliable.

After all, our tagline is « Numalis, the no-guess company », so we have to be sure of the quality of our work.

To ensure all this, it’s essential that we all help each other  to strengthen the team spirit.

Our first priority is to provide a pleasant and fulfilling work environment for all our employees.

Innovation

Numalis is a company that develops innovative products
and services. Always on the lookout for innovation and new practices in AI, we’re looking for new challenges to take on and constantly looking to improve.

We like people who share our interest  in innovation and who like to challenge themselves!

Innovation is also an opportunity to work on exciting projects that combine the practical challenges of AI in the real world with cutting-edge research to achieve robust and reliable AI systems.

Counsel / « Evangelism »

AI is still a new topic among manufacturers, and our role is to raise their awareness and give them the means to develop a culture around this subject.

This involves providing advice, best practices, conferences, articles, and, above all, dedication and education to help them in their work.

But it’s not just about our customers and partners, it’s also about Numalis itself!

So we attach a great deal of importance to everyone being able to ask for help, discuss things and benefit from everyone’s experience and know-how in order to learn and improve.

Synergy with Research and Industry

From the outset, Numalis has had one foot in the world of industry and the other in the world of research.

Our partners are both our customers and the research laboratories we work with.

Our ambition is to remain at the forefront of the state-of-the-art by actively collaborating with researchers, contributing to high-quality scientific research, and seeking to integrate their work as soon as it is sufficiently mature.

Education

At Numalis, we’re always looking to the horizon, and we naturally want to pass on our values and knowledge to those who will be shaping the future of the industry: the young.

That’s why we’re working with a range of schools and universities to make our tools available to students to help them in their training.

We believe that excellent know-how should be a legacy for future generations. That’s why we want to make our values and our commitment part of the future society, by helping to educate both the AI users and AI makers of tomorrow.

Corporate
Social Responsibility

Diversity
& Inclusion

We deeply value diversity and inclusion, recognizing that they are not merely buzzwords, but essential tenets for fostering creativity, innovation, and a sense of belonging.

Our strength lies in the tapestry of backgrounds, perspectives, and experiences that our team brings to the table. We are committed to creating an environment where every individual feels seen, heard, and valued—regardless  of gender, ethnicity, age, ability, orientation, or any other distinguishing factor.

By actively seeking and embracing diversity, and by fostering an inclusive culture, we ensure not only the betterment of our company but also the enrichment of  the solutions we offer to the world.

Environmental
Sustainability

At Numalis, sustainability is intricately woven into our technological fabric. Our avant-garde solutions are designed not just to innovate but to conserve, facilitating significant energy and time savings by reducing computational power and duration.

We’ve meticulously optimized our website for swift navigation, ensuring users receive information promptly without wasting resources. Furthermore, our dedication to a greener digital footprint is reflected in our choice of 100% green web hosting.

For us, sustainability isn’t an afterthought, it’s a fundamental principle guiding our every step as we navigate the evolving technological landscape.

Numalis encourages a soft mobility approach and finances 100% of the public transportation costs for our employees.

Giving Back &
Community Development

The company is committed to fostering a community driven by a common belief in trustworthy AI.

Positioning itself as a standard-bearer to back up its conviction, Numalis is actively involved in AI standardization at international, European, and national levels. Numalis has also united the local AI ecosystem of Montpellier and Région Occitanie around the IA Méditerranée cluster.

Having not forgotten our academic origins, we also like to give back our knowledge so that society can benefit from it.

Numalis believes that it is essential to help train the next generation that will drive forward the field of AI by providing cutting-edge industrial solutions to the education sector. We are also committed to knowledge transfer, with Arnault Ioualalen giving high-level talks on the need to validate and standardize AI, and we publish numerous articles to raise awareness about AI applications.

Entrepreneurship is fundamental to enabling the industrialization of research innovation and breakthroughs. To help enhance the value of research, Numalis is supporting the University of Perpignan Via Domitia's entrepreneurship foundation by being a sponsor from its inception.