1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
This listing may be outdated. Verify details at the official source before applying.
Find similar grantsSupports research at the interface of innovative computational and AI technologies and new strategies/technologies in mathematical reasoning to guide and enhance research in the mathematical sciences, formal methods, and AI.
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: Individuals, Institutions of Higher Education, Non-Profit Organizations, Private Entities, Public Entities, Research Institutions/Organizations. Confirm the full requirements in the official notice before applying.
Artificial Intelligence, Formal Methods and Mathematical Reasoning is funded by NSF CISE Directorate. 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.
Past winners and funding trends for this program
The Merck Stimulating Innovative Research Grant Program 2026 includes a dedicated grant topic for artificial intelligence in cell culture media and process development, offering up to EUR 150,000 per year for up to 3 years. The program accelerates innovation through collaborative research, early engagement with industry experts, and translation of novel ideas into practical solutions. In 2026, priority areas also include in-vitro models for neuroinflammatory diseases (EUR 250,000/year for 2 years) and innovative approaches to contaminated materials remediation (EUR 150,000/year for 2 years). The two-stage application process begins with non-confidential submissions, followed by deep-dive workshops where finalists collaborate with Merck scientists and managers to jointly optimize proposals. The AI-specific grant focuses on applying machine learning and AI to optimize cell culture media formulation, bioprocess parameter optimization, and manufacturing quality control.
NIST – Measurement Science and Engineering (MSE) Research Grant Programs 2025‑NIST‑MSE‑01 is sponsored by NIST. NIST – Measurement Science and Engineering (MSE) Research Grant Programs is a grant from the National Institute of Standards and Technology (NIST) that funds research and partnership activities in metrology, standards, nanotechnology, artificial intelligence, advanced communicat…
Future CoRe (NSF 25-543) advertises $280 million and 400 to 600 awards across 11 programs, with a September 10, 2026 target date. The directorate behind it is running 43 percent below its own four-year average, $1 billion of NSF's budget is locked in a central account, and the two-proposal cap is enforced with no exceptions. Here is how to read the gap between what the solicitation promises and what the directorate is actually paying for.
Read articleNSF 26-525 keeps the $15 million, seven-year headline that makes Expeditions the largest single investment CISE makes. What changed is underneath: funding is now split into three explicit phases, Years 6 and 7 are contingent on a Year 5 site visit, the Innovation Transition supplement is gone, and the competition calendar moved from June to December — pushing awards out past 2028.
Read articleTCUP lists eight funding tracks and roughly $10.3M a year, but the October 14, 2026 deadline applies to only three of them — CHAI, Pre-TI, and TCUP Partnerships — and each carries a restriction that disqualifies most applicants. Here is the track-by-track math.
Read article