Aria Safeguarded Ai: Technical Area 3 Applications

  Address - United Kingdom

  Contact details - 565656565

  Tender notice no. - 76454545

  GT Ref Id - 18472046

  Document Type - Tender Notices

Description - Description: About the programmeBacked 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 "gatekee per" 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

Gt Ref Id - 18472046

Deadline - Jul 04, 2025