1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
This is the one technical area of ARIA's Safeguarded AI programme that remains open - TA1. 1, TA1. 2, TA1.
3, TA1. 4, TA2 and TA3 are all archived or cancelled - and it is worth understanding what distinguishes it from the general run of AI safety funding. The work is not empirical alignment research or evaluations.
It is building production-grade, security-critical software components whose key security properties are backed by machine-checked proofs, with AI used to assist the formal verification itself. That places it at the intersection of formal methods, systems security and AI, and a team without genuine proof-assistant capability will not be competitive regardless of its AI credentials.
The structure is unusual and should be priced in before applying. Work runs in 8-week sprint cycles, and blue teams building the secure components are stress-tested by a funded red team doing adversarial penetration testing. This is an adversarial, milestone-driven programme rather than a research grant that pays out and waits for a paper.
The solicitation is rolling, assessed in quarterly batches, with the documented final deadline 31 October 2026 at 14:00 GMT - so applying early is materially better than applying at the deadline, since capacity fills as batches are decided.
Eligibility is genuinely international: single organisations or teams spanning academia, industry and non-profits may apply, and there is no requirement to be UK-based, which distinguishes this from many UK government research schemes. Applications go through ARIA's grant platform at aria. grantplatform.
com. Anyone considering this should read the full technical area description rather than relying on the summary, because the boundary between what counts as machine-checked and what counts as AI-assisted-but-unverified is exactly where proposals are won and lost.
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 single organisations or teams spanning academia, industry and non-profits; ARIA describes the call as international, so applicants need not be UK-based, though the programme is funded by a UK government agency and applicants should confirm any residency or establishment conditions on the ARIA grant platform. Scope is the cybersecurity technical area of the Safeguarded AI programme: developing production-grade, security-critical software components whose key security properties are backed by machine-checked proofs, using AI-assisted formal verification. Two roles are funded - blue teams building the provably secure software at 2,500,000 to 3,500,000 pounds per team, and a red team conducting adversarial penetration testing at 2,000,000 to 3,000,000 pounds. Work is delivered in 8-week sprint cycles with red-team stress-testing of blue-team output, so teams must be able to operate on that cadence. ARIA states that only a small number of projects will be funded. The solicitation is rolling and reviewed in quarterly batches, with a documented final deadline of 31 October 2026 at 14:00 GMT; because batches are assessed as they close and capacity is limited, early submission is advantageous. The total Safeguarded AI programme budget is 59,000,000 pounds across all technical areas over 3 to 5 years. Applications are submitted through ARIA's grant platform at aria.grantplatform.com. Confirm the current batch dates, per-team funding bands, technical area scope and eligibility conditions on the official ARIA Safeguarded AI funding page before applying. Confirm the full requirements in the official notice before applying.
The current listing shows published per-team figures for the cybersecurity technical area are 2,500,000 to 3,500,000 British pounds per blue team (teams building provably secure software) and 2,000,000 to 3,000,000 pounds for the red team (penetration testing). Converted at approximately 1.27 US dollars to the pound, that is roughly 2,540,000 to 4,445,000 dollars for blue teams and 2,540,000 to 3,810,000 dollars for the red team. amount_min is set to 2,500,000 dollars and amount_max to 4,400,000 dollars to span the blue-team band, which is the larger and the primary route. These are converted approximations, not ARIA figures - the authoritative amounts are in pounds on the ARIA funding page and the ARIA grant platform. The total Safeguarded AI programme budget is 59,000,000 pounds (approximately 75,000,000 dollars) across all technical areas over 3 to 5 years, and ARIA states only a small number of projects will be funded under this call. Verify award ceilings, matching requirements, and allowable costs in the official notice.
Applications for ARIA Safeguarded AI Cybersecurity Rolling Solicitation for Machine-Checked Proofs of Security-Critical Software Using AI-Assisted Formal Verification are due October 31, 2026. Build your timeline backwards from this date to cover registrations, approvals, and final submission checks.
ARIA Safeguarded AI Cybersecurity Rolling Solicitation for Machine-Checked Proofs of Security-Critical Software Using AI-Assisted Formal Verification is funded by Advanced Research + Invention Agency (ARIA), United Kingdom, under the Mathematics for Safe AI opportunity space. 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.
Violence Against Women Discretionary Grants for Indian Tribal Governments is sponsored by Department of Justice. To increase tribal capacity to respond to violent crimes against Indian women, and to develop and strengthen victim services in cases involving violent crimes against Indian women. This listing is currently active. Program number: 16.587. Last updated on 2024-11-26.
The NSF CISE Future Computing Research (Future CoRe) program supports research in computing and communication foundations, intelligent systems, and network systems. The program funds innovative research that advances the frontiers of computing including artificial intelligence, machine learning, computer vision, natural language processing, and robotics. This is one of NSF's largest computing research programs with $280 million in total budget. Projects can address fundamental computing challenges, novel AI architectures, scalable intelligent systems, and next-generation network infrastructure.
NASA published an RFI on September 12, 2026 seeking states willing to host and sponsor the new United States Space Academy, with responses due October 26 at 6 p.m. EDT through SAM.gov. Only a governor or a governor's designee may submit, and only once per state. The timeline demands groundbreaking by 2027, 300 students in temporary facilities in 2028, and a permanent campus by 2031. Here is what that structure actually means for universities, economic development agencies, and contractors in the states that compete.
Read articleNIH's August 12, 2026 update to its safe and respectful workplace policy implements Public Law 119-75. Institutions must finish harassment investigations even after the respondent quits, NIH may share investigation findings with other funded institutions on a need-to-know basis, and NIH may decline to transfer an award to a new institution while concerns remain unresolved. Here is what changed, what research offices must build, and how it reshapes faculty recruiting.
Read articleFEMA's Procurement Disaster Assistance Team is running free Procurement Under Grants trainings through September 2026 — and behind them sits a compliance regime, 2 CFR 200.317–200.327, that trips up recipients and subrecipients every year. The most common way to lose FEMA money is not failing to win it; it is buying goods and services the wrong way after you win. Here is what the federal procurement standards actually require, why the OMB Uniform Guidance overhaul raises the stakes, and how to build a compliant procurement file before an auditor asks for one.
Read article