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.
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.
Nebius Research Grants Program is sponsored by Nebius. The Nebius research grants program provides researchers with free access to GPU cloud, AI models, and Tavily's agentic search engine, along with Nebius' expertise to accelerate discovery and deployment in AI. It supports academic or scientific projects with clear objectives, innovative use of GPUs for AI, machine learning, data analytics or HPC, and demonstrated feasibility and potential impact.
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