1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
"UK ARIA Safeguarded AI Programme for Mathematical and Formal Methods for Quantitative AI Safety Guarantees" is currently closed and not accepting applications.
ARIA's Safeguarded AI programme, led by Programme Director David 'davidad' Dalrymple, funds research combining scientific world models with mathematical proofs to develop quantitative safety guarantees for AI systems comparable to safety assurances in nuclear power and passenger aviation.
The programme sits within the Mathematics for Safe AI opportunity space and includes three Technical Areas: TA1 scaffolding for safety-critical AI, TA2 verified world models, and TA3 verifiable solvers/safeguarded AI applications.
The 2026 cybersecurity solicitation specifically funds teams to build production-grade, security-critical software components whose key security properties are backed by machine-checked proofs, testing whether AI-enabled formal methods can make high-assurance cyber defence practical at scale.
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →According to the current listing, eligibility includes: Open to UK-based and international research institutions, universities, companies, and consortia. UK leadership preferred but international collaboration permitted. Applicants must demonstrate capability in formal methods, theorem proving, or verified AI safety techniques. Deadline 14:00 BST on 1 July 2026. Confirm the full requirements in the official notice before applying.
The current listing shows total programme budget of £59 million (~USD 75 million) directed across three Technical Areas over 3-5 years. Individual awards typically range from £500,000 (~USD 630,000) to £5,000,000 (~USD 6,300,000) depending on Technical Area and consortium scope. Verify award ceilings, matching requirements, and allowable costs in the official notice.
The published deadline was July 1, 2026, which has passed. Check the official notice for any future application windows before investing time in a proposal.
UK ARIA Safeguarded AI Programme for Mathematical and Formal Methods for Quantitative AI Safety Guarantees is funded by UK Advanced Research and Invention Agency (ARIA). Verify program details on the funder's official page before applying.
Start from the official opportunity page linked in this listing — it carries the sponsor's submission instructions.
ARIA's Hypersensory Intelligence programme, directed by Claire Donoghue within the Nature-Inspired Computation opportunity space, is a GBP 65,000,000 bet on establishing the foundations for general-purpose olfactory perception at or beyond biological performance. The Technical Area 1 call now open is the data-generation layer of that bet and is the most tractable entry point for machine learning teams: ARIA is funding up to six teams, at up to GBP 500,000 each, to construct the Open Olfactory Resource, described as the world's largest open, cross-domain dataset of volatile chemical signals. The framing should be read carefully by AI groups, because this is a dataset-construction call rather than a modelling call - the deliverable is an open resource that later technical areas and the wider field will train on. That makes it unusually attractive to teams with instrumentation, analytical chemistry or high-throughput data-collection capability paired with ML data-engineering skill, and correspondingly less suited to a pure modelling group with no route to generating volatile chemical measurements. The strategic argument for engaging now is positional: teams that build the resource understand its structure, its failure modes and its coverage gaps better than anyone, which is a durable advantage when ARIA funds the perception and modelling technical areas that follow. Full proposals for TA1 close 30 September 2026.
ARIA's Rolling Opportunity Seeds provide up to £500,000 (~$630,000) each to individual research teams exploring new pathways across multiple AI-related opportunity spaces. The 'Mathematics for Safe AI' opportunity space leverages mathematical approaches to ensure powerful AI systems operate safely with real-world systems and populations. Other opportunity spaces include 'Nature Computes Better,' 'Scoping Our Planet,' and 'Scalable Neural Interfaces.' These seed awards are designed to fund high-risk, high-reward exploratory research that could open entirely new directions in AI safety, bio-inspired computing, and neural interface technology. ARIA's overall budget allocation is £184 million for 2025-26. As part of the Safeguarded AI programme (backed by £59 million), ARIA has funded major projects including Oxford University research on developing novel technical approaches to safe AI deployment. Seeds are accepted on a rolling basis with no fixed deadline.
The Labor Department's RESTART grants closed April 15, but the $81 million program is a map, not just a deadline. Up to 20 awards, $5.1M ceilings, and a priority list — AI infrastructure, nuclear, advanced manufacturing, domestic minerals — that signals the shape of the next workforce funding cycle. Here is how to read it and position for what comes next.
Read articleThe FY2026 federal funding map has tilted hard toward AI, critical minerals, energy, advanced manufacturing, and workforce development — while a new layer of political review asks whether each award advances administration priorities. Here is a strategic map of where the money is moving, and how to position a proposal for the new alignment screen without distorting the work.
Read articleThe UK's DARPA equivalent is investing nearly £100M across two programmes to solve AI's coordination crisis and slash inference costs by 1,000x. Applications close March 24.
Read article