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/
