ARIA backs eight teams testing AI-enabled formal methods, plus £60m robot program
j_foerst · x · 2026-10-29
UK R&D funding agency ARIA's October update announces backing for eight teams testing AI-enabled formal methods on real systems to help prove software security, alongside a new £60m Robot Locomotion programme and other funding opportunities.
More from Safety
- House Dems push resolution opposing taxpayer bailouts for failing AI companies — michalmalewicz · 2026-10-30
- Crypto dev eats his words on public Wi-Fi safety after eMudhra TLS surprise — matthew_d_green · 2026-10-30
- Alleged massive Indian KYC data breach mocks CERT-In's 'secure BFSI' cybersecurity drill brag — kingslyj · 2026-10-30
- Alternate 1865: Steam-Powered AI Agents and Britain's 'Red Tie Act' Output Cap — azmackay · 2026-10-30
- Canada takes an equity stake in Cohere to build sovereign AI at home — cohere · 2026-10-30
- Poll: Over 70% of swing-state voters back AI safety measures even at cost to US competitiveness — Miles_Brundage · 2026-10-30