Funding Programs
5Total budget tracked: $28M
| Program | Type | Budget | Status | |
|---|---|---|---|---|
| Safeguarded AI TA1.2 + TA1.3 — Platformsource Backend infrastructure (TA1.2) and human-computer interface (TA1.3) for the Safeguarded AI programme. Proof checking, automated reasoning, collaborative modeling, and UX. | Solicitation | £14M | Awarded | Needs attention |
| Safeguarded AI TA3 — Real-World Applicationssource Real-world demonstrations of safeguarded AI in energy grid, automated driving, clinical trials, logistics, biopharmaceuticals, and telecom. Phase 2 (GBP 8.4M) cancelled in Nov 2025 pivot; replaced by cybersecurity focus on formally-verified firewalls for critical infrastructure. | Solicitation | £5.4M | Awarded | Needs attention |
| Safeguarded AI TA1.1 — Theorysource 22 projects on mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, string diagrams, and verification foundations. | Solicitation | £3.5M | Awarded | Needs attention |
| Safeguarded AI TA1.4 — Sociotechnical Integrationsource Law-following AI, formal models of society, governance models, privacy-preserving verification, preference aggregation, and deliberative AI specifications. | Solicitation | £3.4M | Awarded | Needs attention |
| Safeguarded AI TA2 — Machine Learningsource Phase 1: development teams for ML approaches to safeguarded AI. Phase 2 (GBP 18M single award) abandoned in Nov 2025 pivot — frontier AI advances made dedicated ML capability development less valuable. | Solicitation | £1M | Closed | Failed source check |