Metadata
| Source Table | funding_programs |
| Source ID | -C8O_gr9Bj |
| Description | Backend infrastructure (TA1.2) and human-computer interface (TA1.3) for the Safeguarded AI programme. Proof checking, automated reasoning, collaborative modeling, and UX. |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 22, 2026, 4:03 PM |
| Updated | Jun 4, 2026, 11:23 AM |
| Synced | Jun 4, 2026, 11:23 AM |
Record Data
id | -C8O_gr9Bj |
orgId | Advanced Research and Invention Agency (ARIA)(organization) |
divisionId | Cf0dXNt8tu |
name | Safeguarded AI TA1.2 + TA1.3 — Platform |
description | Backend infrastructure (TA1.2) and human-computer interface (TA1.3) for the Safeguarded AI programme. Proof checking, automated reasoning, collaborative modeling, and UX. |
programType | solicitation |
totalBudget | 14200000 |
currency | GBP |
applicationUrl | — |
openDate | — |
deadline | — |
status | awarded |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | GBP 14.2M across 8 projects. |
Source Check Verdicts
unverifiable85% confidence
Last checked: 5/1/2026
1 → unverifiable
Debug info
Thing ID: -C8O_gr9Bj
Source Table: funding_programs
Source ID: -C8O_gr9Bj
Parent Thing ID: sid_XqjV4mbMXQ