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 grantsDeadline not shown on program page; refer to full solicitation NSF 24-554
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) is sponsored by NSF Division of Computer and Network Systems (CNS). This opportunity supports mission-aligned projects and measurable outcomes.
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: Proposals may only be submitted by certain types of PIs; universities and research institutions are typical applicants. Full details in solicitation. Confirm the full requirements in the official notice before applying.
The current listing shows $500,000–$1,200,000 per award. Verify award ceilings, matching requirements, and allowable costs in the official notice.
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) is funded by NSF Division of Computer and Network Systems (CNS). Verify program details on the funder's official page before applying.
Yes — this listing is flagged as national in scope, so applicants across the U.S. may apply, subject to the sponsor's other eligibility criteria.
Applications go through the funder's official portal — the Apply Now link on this page goes there directly.
NSF's Arctic Research Opportunities solicitation funds roughly 75 awards a year — up to $50 million — across six program areas from natural sciences to social sciences to the Arctic Observing Network. The July 15, 2026 target date is not a hard deadline, and understanding that distinction is the first strategic decision an Arctic researcher makes. Here is how the six doors differ and how to choose the right one.
Read articleRET Sites close October 14, 2026 — about nine awards from $5.8 million, capped at $600,000 over three years, with a PI eligibility rule that disqualifies most of the people who write outreach proposals. RET Supplements reach the same money for $15,000 a teacher and are not a competition.
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