Funding Tracker

Safeguarded AI: Cybersecurity

Funder: Advanced Research and Invention Agency (ARIA)

Award: See website

Deadline: See website

Region: UK

This call seeks to test and accelerate the hypothesis that AI-enabled formal methods can make high-assurance cyber defence practical at scale. It has two tracks: Blue Teams and Red Teams.