Safety
57d agoARIA Launches £20M AI Security Funding Call
A £20 million funding call targets the intersection of AI, formal methods, and cybersecurity. ARIA seeks a lead to manage funded teams and refine threat models for high-impact security demonstrations. This initiative prioritizes rigorous verification over heuristic safety.
The Signal
Practitioners should monitor the call for new specifications in formal AI security research.