{"opportunitySpacesMenu":{"title":"Mathematics for Safe AI ","subTitle":"Opportunity space","exploreText":"Explore this space","image":null,"imageMobile":null,"backLink":{"isActive":false,"text":"Back to Opportunity spaces","href":"/opportunity-spaces","title":"Back to Opportunity spaces"},"signUpLink":{"isActive":false,"text":"Sign up for updates","href":"/sign-up-for-updates-qa","title":""},"items":[{"title":"Overview","link":{"isActive":false,"text":"Mathematics for Safe AI","href":"/opportunity-spaces/mathematics-for-safe-ai","title":"Mathematics for Safe AI"}},{"title":"Safeguarded AI","link":{"isActive":false,"text":"Safeguarded AI","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai","title":"Safeguarded AI"},"children":[{"title":"Meet the Creators","link":{"isActive":false,"text":"Meet the Creators","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/meet-the-creators","title":"Meet the Creators"}},{"title":"Funding","link":{"isActive":true,"text":"Funding","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/funding","title":"Funding"}}]},{"title":"Mathematics for Safe AI","link":{"isActive":false,"text":"Mathematics for Safe AI","href":"/opportunity-spaces/mathematics-for-safe-ai/mathematics-for-safe-ai","title":"Mathematics for Safe AI"},"children":[]}],"activeBackgroundColor":"#ffcd9b"},"modules":[{"type":"op-header","image":{"src":"/media/agphimuo/aria_safeai_image.png?rmode=pad&format=webp&quality=100","alt":"ARIA Safeai Image"},"title":"Safeguarded AI","intro":"Backed by £59m, this programme within the Mathematics for Safe AI opportunity space aims to develop the safety standards we need for transformational AI.","text":"","colour1":"blue","colour2":"teal","btnColour":"blue","breadcrumb":[{"isActive":false,"text":"Home","href":"/home","title":""},{"isActive":false,"text":"Opportunity spaces","href":"/opportunity-spaces","title":""},{"isActive":false,"text":"Mathematics for Safe AI","href":"/opportunity-spaces/mathematics-for-safe-ai","title":""},{"isActive":false,"text":"Safeguarded AI","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai","title":""},{"isActive":true,"text":"Funding","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/funding","title":""}],"links":{"opLink":{"isActive":false,"text":"Mathematics for Safe AI","href":"/opportunity-spaces/mathematics-for-safe-ai","title":""},"programmeLinks":[{"isActive":true,"text":"Safeguarded AI","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai","title":""}],"seedLinks":[{"isActive":false,"text":"Mathematics for Safe AI","href":"/opportunity-spaces/mathematics-for-safe-ai/mathematics-for-safe-ai","title":""}]},"hideGradient":false},{"type":"quick-link-anchor","anchorName":"funding"},{"type":"quick-link","heading":"","links":[{"isActive":false,"text":"Programme overview","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai","title":""},{"isActive":false,"text":"Technical areas + Creators","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/meet-the-creators","title":""},{"isActive":true,"text":"Funding","href":"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/funding","title":""}],"swiper":true,"sticky":true,"vertical":false,"centreAlign":true},{"type":"spacer-comp","cssSizeClass":"large","height":0},{"type":"rich-text-content","text":"<p><span class=\"h5\">'Late' TA2 Phase 1 applications</span></p>\n<p><br>ARIA is launching a multi-phased solicitation for Technical Area 2 (TA2) to support the development of a general-purpose Safeguarded AI workflow. The programme aims to demonstrate that frontier AI techniques can be harnessed to create AI systems with verifiable safety guarantees. In TA2, we will award £18m to a non-profit entity to develop critical machine learning capabilities, requiring strong organisational governance and security standards. Phase 1, backed by £1M, will fund up to 5 teams to spend 3.5 months to develop full Phase 2 proposals. Phase 2 — which will open on 25 June 2025 —will fund a single group, for £18M, to deliver the research agenda. TA2 will explore leveraging securely-boxed AI to train autonomous control systems that can be verified against mathematical models, improving performance and robustness. The workflow will involve forking and fine-tuning mainstream pre-trained frontier AI models to create verifiably safeguarded AI solutions.</p>\n<p dir=\"ltr\">Phase 1, backed by £1M, will fund up to 5 teams to spend 3.5 months developing full Phase 2 proposals. Phase 2 — which will open on 25 June 2025 — will fund a single group, with £18M, to deliver the research agenda.&nbsp;</p>\n<p dir=\"ltr\">TA2 will explore leveraging securely-boxed AI to train autonomous control systems that can be verified against mathematical models, improving performance and robustness. The workflow will involve forking and fine-tuning mainstream pre-trained frontier AI models to create verifiably safeguarded AI solutions. Key objectives of TA2 include:&nbsp;</p>\n<ul>\n<li aria-level=\"1\">\n<p dir=\"ltr\">World-modelling ML (TA2(a)): Develop formal representations of human knowledge, enabling explicit reasoning and uncertainty accounting, to create auditable and predictive mathematical models.&nbsp;</p>\n</li>\n<li aria-level=\"1\">\n<p dir=\"ltr\">Coherent reasoning ML (TA2(b)): Implement efficient reasoning methods, such as amortised inference or neural network-guided algorithms, to derive reliable conclusions from world models. Safety verification ML (TA2(c)): Create mechanisms to verify the safety of actions and plans against safety specifications, using techniques like proof certificates or probabilistic bounds.</p>\n</li>\n<li aria-level=\"1\">\n<p dir=\"ltr\">Policy training (TA2(d)): Train agent policies that balance task performance with finite-horizon safety guarantees, including backup policies for safety failure scenarios.</p>\n</li>\n</ul>\n<p>For those applicants that do not meet the Phase 1 application deadline (30 April 2025), to make TA2 funding as accessible as possible to as many strong applicant teams, we will accept (shortened) Phase 1 proposals until 17 Aug 2025. These proposals will not be eligible for Phase 1 funding and will be reviewed against the same Phase 1 evaluation criteria. If successful, these teams will be invited to meet with the Safeguarded AI Programme team, including the Scientific Director to discuss their thinking.</p>\n<p>&nbsp;</p>\n<p><span class=\"h6\"><strong>Apply until 17 August 2025:&nbsp;</strong></span></p>\n<p>To apply, follow the same instructions as for Phase 1 (see the call for proposals), but limit the submission to 3 pages instead of 4 pages. Email <a href=\"mailto:clarifications@aria.org.uk\">clarifications@aria.org.uk</a> to get an individual application link.&nbsp;<br><br></p>\n<p><span class=\"h7\">Resources</span></p>\n<p><span class=\"p4\"><a href=\"/media/sasccn40/02042025-final-ta2-phase-1-programme-solicitation-call.pdf\" title=\"Read the call for proposals | for Safeguarded AI TA2 Phase 1\">Read the call for proposals</a></span></p>\n<p><span class=\"p4\"><a rel=\"noopener\" href=\"https://vimeo.com/1071715999/90b47407db\" target=\"_blank\" title=\"Watch the solicitation presention\">Watch the solicitation presentation</a></span></p>\n<p><span class=\"p4\"><a href=\"/funding-opportunities/accessibility-support\" title=\"Find out more about ARIA's accessibility support\">Accessibility support</a></span></p>","mediumLayout":false,"fullWidth":false},{"type":"spacer-comp","cssSizeClass":"medium","height":0},{"type":"standout-copy","title":"Answering your questions","text":"<p>Ahead of submitting your application, we encourage you to look at our <a href=\"/funding-opportunities/applicant-guidance\" title=\"Funding resources\">funding resources</a>. If you have questions related to <a href=\"/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai\" title=\"Safeguarded AI\">Safeguarded AI</a>, please reach out to <a href=\"mailto:clarifications@aria.org.uk\">clarifications@aria.org.uk</a>.</p>\n<p>We'll update this page twice a week with answers.</p>\n<p><em>Nb: clarification questions should be submitted no later than 4 days prior to the relevant deadline date. Clarification questions received after this date will not be reviewed. </em></p>","link":null,"color":"ccbbed","isWhiteText":false,"fullWidth":false},{"type":"spacer-comp","cssSizeClass":"small","height":0},{"type":"accordion","title":"<span class=\"h4\">Previous funding calls in this programme</span>","intro":"<p></p>","items":[{"title":"TA1.1 Theory","text":"<p><span class=\"p3\">The first solicitation for this programme focused on TA1.1 Theory, where we sought R&amp;D Creators – individuals and teams that ARIA will fund and support – to research and construct computationally practicable mathematical representations and formal semantics to support world-models, specifications about state-trajectories, neural systems, proofs that neural outputs validate specifications, and “version control” (incremental updates or “patches”) thereof.</span></p>","links":[{"target":"_blank","isActive":true,"text":"Watch the solicitation presentation","href":"https://vimeo.com/932838403/7e7bfe96c4?","title":""},{"target":"_blank","isActive":true,"text":"Read the call for proposals","href":"https://app-aria-cm-prod.azurewebsites.net/media/tfkjkjxy/aria-safeguarded-ai-ta11-theory-call-for-proposals.pdf","title":""}]},{"title":"TA3 Applications","text":"<p>The second funding call sought potential individuals or organisations interested in using our gatekeeper AI to build safeguarded products for domain-specific applications, such as optimising energy networks, clinical trials and telecommunication networks.</p>\n<p>Safeguarded AI's success will depend on showing that our gatekeeper AI actually works in a safety-critical domain. The research teams selected for TA3 will work with our other programme teams, global AI experts, academics and entrepreneurs, in setting the groundwork to deploy Safeguarded AI in one or more areas.</p>\n<p>In this first phase of TA3 funding, we intend to allocate an initial £5.4m aimed at eliciting requirements, sourcing datasets, and establishing evaluations benchmarks for relevant cyber-physical domains.</p>","links":[{"target":"_blank","isActive":true,"text":"Watch the solicitation presentation","href":"https://vimeo.com/995044315/5221db6eaf","title":""},{"target":"_blank","isActive":true,"text":"Read the call for proposals","href":"/media/o2uji1ve/aria-safeguardedai-ta3-call-for-proposal.pdf","title":""}]},{"title":"TA1.4 Sociotechnical Integration","text":"<p><span class=\"p3\">The third solicitation of this programme sought teams from the economic, social, legal and political sciences to consider the sound socio-technical integration of Safeguarded AI systems. </span></p>\n<p><span class=\"p3\">These teams will work on problems that are plausibly critical to ensuring that the technologies developed as part of the programme will be used in the best interest of humanity at large, and that they are designed in a way that enables their governability through representative processes of collective deliberation and decision making. </span></p>","links":[{"target":"_blank","isActive":true,"text":"Watch the solicitation presentation","href":"https://vimeo.com/1019469102/ae5a2269de","title":""},{"target":"_blank","isActive":true,"text":"Read the call for proposals","href":"/media/bmml5lgd/davidad-ta14-programme-solicitation-call.pdf","title":""}]},{"title":"TA2 (Phase 1) Machine Learning Organisation","text":"<p>ARIA launched a multi-phased solicitation for Technical Area 2 (TA2) to support the development of a general-purpose Safeguarded AI workflow. The programme aims to demonstrate that frontier AI techniques can be harnessed to create AI systems with verifiable safety guarantees. In TA2, we will award £18m to a non-profit entity to develop critical machine learning capabilities, requiring strong organizational governance and security standards. </p>\n<p><br>Phase 1, backed by £1M, will fund up to 5 teams to spend 3.5 months to develop full Phase 2 proposals. Phase 2 — which will open on 25 June 2025 —will fund a single group, for £18M, to deliver the research agenda. </p>\n<p>TA2 will explore leveraging securely-boxed AI to train autonomous control systems that can be verified against mathematical models, improving performance and robustness. The workflow will involve forking and fine-tuning mainstream pre-trained frontier AI models to create verifiably safeguarded AI solutions.</p>","links":[{"target":"_blank","isActive":true,"text":"Read the call for proposals","href":"/media/sasccn40/02042025-final-ta2-phase-1-programme-solicitation-call.pdf","title":""}]}],"link":null},{"type":"spacer-comp","cssSizeClass":"medium","height":0},{"type":"double-card","items":[{"title":"The Creator experience","text":"What you can expect as an ARIA R&D creator.","link":{"isActive":false,"text":"Learn more ","href":"/funding-opportunities/the-creator-experience","title":"about what to expect as an ARIA Creator"},"colour":null},{"title":"Applicant guidance","text":"Discover the process of applying for ARIA funding and find key resources.","link":{"isActive":false,"text":"Find out more ","href":"/funding-opportunities/applicant-guidance","title":"about the application process"},"colour":null}],"fullWidth":false},{"type":"spacer-comp","cssSizeClass":"medium","height":0}],"scriptsAtTop":"<!-- Start cookieyes banner --> <script id=\"cookieyes\" type=\"text/javascript\" src=\"https://cdn-cookieyes.com/client_data/eae9957b4a0acd8b0ca247e2/script.js\"></script> <!-- End cookieyes banner -->\n\n<!-- Google tag (gtag.js) -->\n<script async src=\"https://www.googletagmanager.com/gtag/js?id=G-QB5LXNMKJN\"></script>\n<script>\n  window.dataLayer = window.dataLayer || [];\n  function gtag(){dataLayer.push(arguments);}\n  gtag('js', new Date());\n\n  gtag('config', 'G-QB5LXNMKJN');\n</script>\n\n<style>\n.biography-swiper,\n.team-cards {\n    margin-bottom: 60px;\n}\n.quick-link__label {\ndisplay: none;\n}\n.site-footer__logo img {\n filter: invert(1);\n}\n\n.rte-image-text {\n  display: flex;\n  align-items: flex-start;\n  gap: 80px;\n  max-width: 1000px;\n  margin: 0 auto 50px;\n}\n\n.rte-image-text__image {\n  flex: 0 0 300px;\n}\n\n.rte-image-text__text {\n  flex: 1;\n}\n\n@media (max-width: 800px) {\n  .rte-image-text {\n    flex-direction: column;\n    align-items: center;\n    gap: 20px;\n  }\n\n  .rte-image-text__image {\n    flex: 0 0 auto;\n        width: 100%;\n        height: auto;\n  }\n  .rte-image-text__image img {\n    height: auto;\n  }\n}\n\n:target {\n    scroll-margin-top: 140px;\n}\n\n.media-text__caption {\nfont-size: 14px !important\n}\n</style>\n\n<!--intercom-->\n<div data-intercom-id=\"i5uhzwkf\"></div>\n\n<script>\nsetTimeout(() => {window.dispatchEvent(new Event('resize'));}, 500);\n</script>","scriptsAtBottom":"","id":2872,"languageCode":"en","pageName":"Funding","scrollSmoothness":0.0,"gtmCode":"GTM-T8Z5F55","topNav":{"logo":{"text":"ARIA - Home","href":"/media/hsxblxrf/logo-aria-black.svg"},"nodes":[{"text":"About us","href":null,"target":null,"id":null,"nodes":[{"text":"About us","href":"/about-aria","target":null,"id":"2207","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Our team","href":"/about-aria/our-team","target":null,"id":"2159","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Programme Directors","href":"/about-aria/our-team/programme-directors","target":null,"id":"2831","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Reporting and policies","href":"/about-aria/reporting-and-policies","target":null,"id":"2160","nodes":[],"noOpener":false,"noReferrer":false}],"noOpener":true,"noReferrer":false},{"text":"What we do","href":null,"target":null,"id":null,"nodes":[{"text":"How we work","href":"/how-we-work","target":null,"id":"2817","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Live opportunity spaces","href":"/opportunity-spaces","target":null,"id":"2215","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Emerging areas","href":"/emerging-areas","target":null,"id":"2963","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Activation Partners","href":"/activation-partners","target":null,"id":"2174","nodes":[],"noOpener":false,"noReferrer":false}],"noOpener":true,"noReferrer":false},{"text":"Funding","href":null,"target":null,"id":null,"nodes":[{"text":"Funding opportunities","href":"/funding-opportunities","target":null,"id":"2164","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Applicant guidance","href":"/funding-opportunities/applicant-guidance","target":null,"id":"2162","nodes":[],"noOpener":false,"noReferrer":false},{"text":"Being funded by ARIA","href":"/funding-opportunities/the-creator-experience","target":null,"id":"2433","nodes":[],"noOpener":false,"noReferrer":false},{"text":"FAQs","href":"/funding-opportunities/faqs","target":null,"id":"2649","nodes":[],"noOpener":false,"noReferrer":false}],"noOpener":true,"noReferrer":false},{"text":"Careers","href":"https://aria-jobs.teamtailor.com/","target":"_blank","id":null,"nodes":[],"noOpener":false,"noReferrer":false}],"headerLinks":[{"target":"","isActive":false,"text":"Become a Programme Director","href":"/about-aria/our-team/programme-directors/cohort-3","title":""},{"isActive":false,"text":"Opportunity spaces","href":"/opportunity-spaces","title":""}],"menuLinks":[{"isActive":false,"text":"Contact us","href":"/contact","title":""},{"isActive":false,"text":"Terms of use","href":"/terms-and-conditions","title":""}],"activeItem":"2872","menuText":"Menu","menuTextClose":"Close menu","search":{"isActive":false,"text":"Search","href":"/search","title":""},"animationOffText":"Motion: Off","animationOnText":"Motion: On"},"footer":{"header":"Help us drive momentum ","text":"ARIA is a non-departmental public body, sponsored by the Department for Science, Innovation + Technology.","copyright":"Copyright 2026","headerLinks":[{"isActive":false,"text":"Contact","href":"/contact","title":""},{"target":"_blank","isActive":true,"text":"Careers","href":"https://aria-jobs.teamtailor.com/","title":""}],"socialHeader":"Follow our progress","footerLinks":[{"isActive":false,"text":"Privacy Policy","href":"/privacy-policy","title":""},{"isActive":false,"text":"Terms and Conditions","href":"/terms-and-conditions","title":""},{"isActive":false,"text":"Cookie Policy","href":"/cookie-policy","title":""},{"isActive":false,"text":"Accessibility Statement","href":"/accessibility-statement","title":""},{"isActive":false,"text":"Accessibility Support","href":"/funding-opportunities/accessibility-support","title":""},{"target":"_blank","isActive":true,"text":"Careers","href":"https://aria-jobs.teamtailor.com/","title":""},{"isActive":false,"text":"Supply to us","href":"/supply-to-us","title":""}],"socialItems":[{"link":{"target":"_blank","isActive":true,"text":"ARIA Research Twitter","href":"https://x.com/aria_research","title":""},"type":"x"},{"link":{"target":"_blank","isActive":true,"text":"LinkedIn","href":"https://www.linkedin.com/company/advanced-research-and-invention-agency","title":""},"type":"Linkedin"},{"link":{"target":"_blank","isActive":true,"text":"ARIA Research Substack","href":"https://ariaresearch.substack.com/","title":""},"type":"SubStack"}],"formText":"","formSubmit":"Sign up","formId":"","recaptchaSiteKey":"6LcuyY4bAAAAAE2OzRFfA7vDWyohfZXyl2uTuHLa","verificationToken":"","redirectUrl":null,"submitMessage":"","formTheme":""},"seo":{"title":"Funding | Safeguarded AI","description":"Learn more about funding opportunities for Safeguarded AI. Backed by £59m, this programme aims to develop the safety standards we need for transformational AI.","keywords":"safeguarded ai, safety, aria programme, research funding, transformational ai, programme funding, R&D funding opportunities","includeInSitemapXml":true,"canonicalTag":""},"sharing":{"og":[{"property":"og:title","content":"Funding | Safeguarded AI"},{"property":"og:description","content":"Learn more about funding opportunities for Safeguarded AI. Backed by £59m, this programme aims to develop the safety standards we need for transformational AI."},{"property":"og:image","content":"https://aria.org.uk/media/ipab0gpu/safeguarded-ai-programme.jpg?width=600&format=webp&quality=100&v=1db669bb49aced0"},{"property":"og:url","content":"https://aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/funding"}],"twitter":[{"name":"twitter:card","content":"summary_large_image"},{"name":"twitter:site","content":"@ARIA_research"},{"name":"twitter:title","content":"Funding | Safeguarded AI"},{"name":"twitter:description","content":"Learn more about funding opportunities for Safeguarded AI. Backed by £59m, this programme aims to develop the safety standards we need for transformational AI."},{"name":"twitter:image","content":"https://aria.org.uk/media/ipab0gpu/safeguarded-ai-programme.jpg?width=600&format=webp&quality=100&v=1db669bb49aced0"},{"name":"twitter:url","content":"https://aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/funding"}]},"pageType":"programmePage"}