Funding Tracker

Safeguarded AI: Cybersecurity – Rolling applications

Funder: ARIA

Award: Approx. £2.5–3.5m each (3–6 teams); £20m total programme.

Deadline: 31 October 2026

A £20m call to accelerate AI-enabled formal methods for high-assurance cyber defence. Seeking Blue Teams to build production-grade, security-critical software components with machine-checked proofs.