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 grantsArtificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) is sponsored by NSF MPS/DMS, CISE/CCF, CISE/IIS. Supports research at the intersection of AI, formal methods, and mathematical reasoning to automate knowledge discovery.
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 →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) | NSF - U.S. National Science Foundation Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) Important information for proposers and award recipients All proposals must be submitted in accordance with the requirements specified in the funding opportunity and in the Proposal & Award Policies & Procedures Guide (PAPPG) and its supplements .
All NSF grants and cooperative agreements are subject to the applicable set of NSF award terms and conditions . NSF has updated its research security policies for NSF funded projects. Supports 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.
Supports 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.
The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery.
In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence.
Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. In turn, advances in this field have potential impact on research in AI.
Updates and announcements Slides from the April 11 Artificial Intelligence, Formal Methods, and Mathematical Reasoning webinar Program Director, MPS/DMS Program Director, MPS/DMS Program Director, CISE/CCF Program Director, CISE/IIS November 19, 2024 - Artificial Intelligence, Formal Methods, and Mathematical… May 13, 2024 - AIMing Virtual Office Hour Awards made through this program Browse projects funded by this program Map of recent awards made through this program Directorate for Mathematical and Physical Sciences (MPS) Division of Mathematical Sciences (MPS/DMS) Directorate for Computer and Information Science and Engineering (CISE) Division of Computing and Communication Foundations (CISE/CCF) Division of Information and Intelligent Systems (CISE/IIS)
According to the current listing, eligibility includes: Universities, Nonprofits, For-profit organizations, State and local governments, Federally recognized tribal governments, and Individuals. Confirm the full requirements in the official notice before applying.
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) is funded by NSF MPS/DMS, CISE/CCF, CISE/IIS. 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
MGPV Travel Grant is sponsored by Geological Society of America (GSA), Mineralogy, Geochemistry, Petrology, Volcanology Division. MGPV Travel grants support student travel to the annual GSA meeting. Applications are restricted to active graduate or undergraduate students who are the presenting authors of an accepted abstract at the annual GSA meeting.
Research Opportunities in Space and Earth Science (ROSES) - 2025: A.4 Rapid Response and Novel Research in Earth Science is sponsored by National Aeronautics and Space Administration (NASA) Science Mission Directorate (SMD). This omnibus research funding opportunity includes various program elements, with rolling submissions for Earth Science research through August 2026. Proposers to Earth Science using the NASA Center for Climate Simulation high-end computing facility must include specific budget details.
NSF 26-520 consolidates 14 mathematical sciences programs into $200 million and 400 to 600 awards with no per-PI cap and no deadline. Folded into it are Research Training Groups and Focused Research Groups — department-scale, cohort-building competitions that ran on a fixed annual date. Here is why removing that date is a different kind of change for training grants than for single-investigator grants, and what math departments should do before the fall.
Read articleFuture 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-521 folds eight materials programs into one solicitation carrying $100 million and 200 to 300 awards. Proposals are accepted anytime — but no individual may appear as PI or co-PI on more than one proposal per fiscal year across all eight programs. That single sentence reshapes how materials labs collaborate.
Read article