Safety2h ago
Safety
ARIA 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. Practitioners should monitor the call for new specifications in formal AI security research.