Safe Intelligence

TypeSafe AI

This company develops machine-native intelligence infrastructure and models that provide typed decisions for developers to integrate automated uncertainty management into software workflows.

Numalis

This company provides formal verification and validation software for artificial intelligence systems to customers in defence, aerospace, transport, and nuclear energy sectors.

Deontic

This company develops artificial intelligence software for automated validation, verification and regulatory compliance testing of autonomous driving systems and advanced driver assistance systems.

AI reasoning engine

This company develops verified artificial intelligence systems that solve complex mathematical problems and prove theorems for researchers in science, engineering and finance.

Fairly AI

This company develops a governance, risk, and compliance platform for enterprises to automate the monitoring, validation, and regulatory oversight of artificial intelligence models.

Logical Intelligence

This company develops agentic reasoning and orchestration systems for sectors such as energy infrastructure, advanced manufacturing, semiconductors and formal software verification.

AI Ops

This company develops an automated testing and diagnostic platform for artificial intelligence models to serve enterprise developers in the automotive, healthcare and retail 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.