Funding Tracker

Safeguarded AI - Cybersecurity

Funder: ARIA

Award: Blue Teams: £2.5m-£3.5m; Red Team: £2m-£3m

Deadline: 31 October 2026

Region: UK

Funding for 'Blue Teams' to build production-grade, security-critical software components with machine-checked proofs using AI, and 'Red Teams' for pen-testing. Focus on AI-assisted formal verification for cybersecurity.