ARIA opens a £20 million funding call to build production software secured by AI-enabled formal methods and machine-checked proofs

We are seeking teams to test whether AI-enabled formal methods can make high-assurance cyber defense practical, at scale.

As part of our Safeguarded AI programme, we are looking to fund teams to build production-grade software components backed by machine-checked proofs and validated through coordinated red-team exercises.

We welcome applications from startups, industry and academia.

⏳ Apply before 1 July, 14:00 BST. https://aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/funding/