Loading page content…
Loading page content…
| Source: | Find a Tender Service (FTS) |
| Notice Type: | Pipeline / planning |
| Buyer: | ADVANCED RESEARCH AND INVENTION AGENCY |
| Main Category: | Services |
| Procurement Method: | — |
| Tender Status: | Planned |
| Estimated Value (ex. VAT): | Not specified |
| Release Date: |
Pipeline status
Not addedContract imported automatically · AI writes the response
Need help writing this bid?
Our specialists write winning tender responses. Free consultation, no obligation.
Book a free consultation →| 4 July 2024 |
| Application Deadline: | — |
| Procurement ID (OCID): | ocds-h6vhtk-047a89 |
| Notice Reference: | 020406-2024 |
All 2 notices for this procurement, oldest first.
ARIA Safeguarded AI: Technical Area 3 Applications
Earlier notices predate the Procurement Act 2023 (commenced 24 Feb 2025) and therefore don't carry UK1–UK17 codes.
Ready to bid on this contract?
BidWriter AI writes your tender response in minutes — import this contract in one click.
About the programme Backed by £59M, ARIA's programme 'Safeguarded AI' explores if it's possible to formally verify the safety of AI systems through quantitative methods-specifically, exploring a possible pathway for developing a "gatekeeper" AI to understand the real-world interactions and consequences of an autonomous AI agent, and ensure it only operates within agreed-upon guardrails for a given application. The programme is split into three Technical Areas (TAs) which will: - TA1 (Scaffolding) build an extendable, interoperable language and platform to maintain real-world models/specifications and check proof certificates. - TA2 (Machine learning) use frontier AI to help domain experts build best-in-class mathematical models for real-world complex dynamics and leverage frontier AI to train autonomous systems - TA3 (Applications) unlock significant economic value with quantitative safety guarantees by deploying a gatekeeper-safeguarded autonomous AI system in a critical cyber-physical operating context.