ARIA: Safeguarded AI - Cybersecurity
Funder: Advanced Research and Invention Agency (ARIA)
Award: £2,000,000 - £3,500,000 per team
Deadline: 2026-10-31
Region: UK
Funding for 'Blue Teams' to build production-grade, security-critical software components with machine-checked proofs using AI, and 'Red Teams' for AI-powered pen-testing.