Numalis

Safe Intelligence

This company develops formal verification and validation software for machine learning models used by developers in finance, mobility, robotics and aviation sectors.

Atalanta

The company develops a mathematical AI platform to verify the safety and security of complex software systems for energy, space and defence organisations.

Aris Machina

This company develops artificial intelligence software and operating systems to optimise production processes for manufacturers in sectors including aerospace, automotive and electronics.

Xcert AI

This company develops an artificial intelligence platform to automate certification and compliance processes for aerospace manufacturers, system integrators and regulators.

SandboxAQ

This company develops artificial intelligence and quantum technology software for customers in the cybersecurity, aerospace, life sciences, and global defence sectors.

SAIF Autonomy

This company develops runtime assurance software and safeguards for autonomous systems and embodied artificial intelligence within the aerospace, land, and defence sectors.

Neuromorphic Labs

This company develops artificial intelligence infrastructure software providing verifiable trust and governance for production systems to organisations deploying models and agents at scale.

Axiomatic AI

The company develops an artificial intelligence verification platform for engineering and science organisations to design and build complex hardware systems.