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 sponsored by UK Advanced Research and Invention Agency (ARIA). 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…
Get alerted about grants like this
Get emailed when new opportunities from “UK Advanced Research and Invention Agency (ARIA)” or related funders appear. Free, weekly, unsubscribe anytime.
Or search similar grants →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
Backed by £59m, Safeguarded AI sits within the Mathematics for Safe AI opportunity space and aims to demonstrate a world where we can use fleets of AI agents to model and verify critical cyber and cyber-physical systems, radically boosting societal resilience. Funding: Technical Area 2, Cybersecurity Submit your application by 1 July 2026 (14:00 BST).
As part of our updated programme thesis , we seek to test and accelerate the hypothesis that AI-enabled formal methods can make high-assurance cyber defence practical at scale. Within Technical Area 2, this funding call pursues the question: given the advances in AI and formal methods, what are the most ambitious, security-critical systems we can verify today?
We will fund teams to build production-grade, security-critical software components whose key security properties are backed by machine-checked proofs, validated through coordinated red-team exercises. We will evaluate teams for their credible interest and ability to carry developed capabilities towards large-scale deployment, whether themselves or through spinouts, partnerships, upstreaming, or other routes.
The call is structured as two tracks: Track 1 (Blue Teams) for building and verifying security-critical components, and Track 2 (Red Team) for adversarial evaluation.
Track 1 | Blue Teams: We will fund 3–6 teams to build production-grade, security-critical software components whose key security properties are backed by machine-checked proofs, under clearly stated threat models and assumptions, using AI as a central means of reaching levels of ambition for formal proof that would otherwise not be tractable. Track 2 | Red Team: We are also looking for applications to fund one central Red Team.
They will be responsible for executing, within each sprint cycle, a thorough pen-testing effort of every Blue Team’s system, and document the results in a report. Just like for Blue Teams, the intelligent use of AI will play a central role in thorough Red Teaming. Funding for the track 1 Blue Teams will be provided under our R&D funding terms, while funding for the track 2 Red Team will be provided under our commercial service terms.
Please read the call for proposals for details on each. Note that Red and Blue Teams need to be independent. While applicants are free to apply to both tracks, we will not appoint the same organisation or team to serve in both capacities.
We welcome applications from across the R&D ecosystem, including startups, industry and academia. We typically require the majority of the project work to be conducted in the UK (i.e. >50% of project costs and personnel time). We have a live teaming tool that allows applicants to find complementary expertise.
After a quick registration, you can browse other researchers and request an introduction from the ARIA team to explore potential collaborations. For more information read the call for proposals and apply below. Application deadline: 1 July 2026 (14:00 BST) Call for proposals [PDF - 1001.
49Kb] Call for proposals (accessible) [PDF - 757. 93Kb] Accessibility support Applicant guidance If you have any additional questions, please use the chat function on this page for the quickest response – you'll find the icon in the bottom right-hand corner of your screen. It can guide you to the right information or connect you with the ARIA team if needed.
We’ll update this page with questions and answers. Nb: Clarification questions that need to be reviewed by the ARIA team should be submitted via the chat function no later than four days prior to the relevant deadline date. Clarification questions received after this date will not be reviewed.
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. 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.
Cooperative AI Research Grants is sponsored by Cooperative AI Foundation, Google DeepMind, Schmidt Sciences, UK Advanced Research and Invention Agency (ARIA), and Google.org. A technical research funding call for researchers worldwide, focusing on the study of how large-scale multi-agent AI systems behave as a group, and how to provide frameworks to understand and mitigate potential risks.
Announced on June 11, 2026, this $10 million joint funding call from Google DeepMind, Schmidt Sciences, the Cooperative AI Foundation, the UK ARIA, and Google.org supports research to advance multi-agent AI safety. As autonomous AI agents increasingly interact across digital environments, the call addresses the growing risks of agent collusion, manipulation, market failures, and cascading errors among networks of AI agents. Priority research areas are: (1) sandboxes and testbeds for evaluating multi-agent systems at scale, (2) the science of agent networks (emergent behavior, cooperation, competition), (3) strengthening agent infrastructure (authentication, accountability, communication protocols), and (4) oversight and control mechanisms for agent ecosystems. Tier 1 grants up to $300,000 and Tier 2 grants between $300,000 and $1 million. Open to researchers worldwide. Deadline August 8, 2026. Awardees announced Autumn 2026. Strong fit for AI safety researchers, cooperative AI / game theory / mechanism design groups, and applied agent evaluation labs.
ARIA's Forecasting Tipping Points programme aims to build a comprehensive early warning system for climate tipping points by uniting low-cost ocean and atmospheric sensing platforms with physics-informed and AI-driven climate models. The GBP 81M programme focuses on two critical tipping systems - the Greenland ice sheet and the North Atlantic subpolar gyre. ARIA funds startups, academic teams, and non-profit R&D organisations spanning sensing hardware, machine learning model development, foundation models for climate prediction, and operational forecasting integration. A second funding call is anticipated for September 2026. Strong fit for climate AI labs, ML-for-physics teams, ocean and atmospheric observation startups, and interdisciplinary teams combining ML with geoscience.
NVIDIA Graduate Fellowship Program is a grant from NVIDIA providing up to $60,000 per award to PhD students conducting research that advances accelerated computing and its applications. Now in its 25th year, the program invites nominations from doctoral students pushing the boundaries of artificial intelligence, robotics, autonomous vehicles, and related fields. Recipients receive not only research funding but also access to NVIDIA technology, products, and engineering expertise, along with a mandatory in-person summer internship. Students are nominated by their faculty advisors and selected based on academic achievement and research area alignment.
CalSEED Concept Award is a grant from the California Energy Commission that provides $150,000 in funding to early-stage clean energy innovators in California. The program targets individuals, businesses, and nonprofits developing hardware, software, or integrated solutions at Technology Readiness Levels 2-4. Eligible technology areas rotate each cycle and have included battery recycling and reuse, long-duration energy storage, medium- and heavy-duty vehicle electrification, industrial electrification, and advanced EV charging. Applicants must be located in California, have under $1 million in private funding, and propose innovations that benefit California ratepayers. Concept Award winners also receive professional development resources and access to accelerator programs, and may compete for a subsequent $450,000 Prototype Award.
NIST SBIR Phase I - Advanced Manufacturing and Robotics is sponsored by National Institute of Standards and Technology. NIST SBIR Phase I - Advanced Manufacturing and Robotics is a grant from the National Institute of Standards and Technology (NIST) that funds small businesses with innovative research and technology ideas in advanced manufacturing and robotics.
The 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 articleThe DOL Industry-Driven Skills Training Fund is distributing $30 million across 14 states for employer-led workforce training in advanced manufacturing, AI, and skilled trades. Employer applications open mid-2026.
Read article