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 U.S. National Science Foundation. Supports research at the interface of innovative computational and AI technologies and new strategies in mathematical reasoning to automate knowledge discovery.
Get alerted about grants like this
Save a search for “U.S. National Science Foundation” or related topics and get emailed when new opportunities appear.
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)
Based on current listing details, eligibility includes: Private institutions of higher education, public institutions of higher education, and other eligible entities as specified in the program announcement. Applicants should confirm final requirements in the official notice before submission.
Current published award information indicates Varies Always verify allowable costs, matching requirements, and funding caps directly in the sponsor documentation.
The current target date is rolling deadlines or periodic funding windows. Build your timeline backwards from this date to cover registrations, approvals, attachments, and final submission checks.
Federal grant success rates typically range from 10-30%, varying by agency and program. Build a strong proposal with clear objectives, measurable outcomes, and a well-justified budget to improve your chances.
Requirements vary by sponsor, but typically include a project narrative, budget justification, organizational capability statement, and key personnel CVs. Check the official notice for the complete list of required attachments.
Yes — AI tools like Granted can help research funders, draft proposal sections, and check compliance. However, always review and customize AI-generated content to reflect your organization's unique strengths and the specific requirements of the solicitation.
Review timelines vary by funder. Federal agencies typically take 3-6 months from submission to award notification. Foundation grants may be faster, often 1-3 months. Check the program's timeline in the official solicitation for specific dates.
Many federal programs offer multi-year funding or allow competitive renewals. Check the official solicitation for continuation and renewal policies. Non-competing continuation applications are common for multi-year awards.
Engineering of Biomedical Systems (EBMS) Program is sponsored by U.S. National Science Foundation (NSF). The EBMS program supports fundamental and transformative research at the interface of engineering and biomedical sciences to solve biomedical problems. Projects should focus on high-impact, transformative methods and technologies, including the development of validated models (living or computational) of normal and pathological tissues and organ systems, and advanced biomanufacturing of three-dimensional tissues and organs.
Environmental Engineering is sponsored by U.S. National Science Foundation. The Environmental Engineering program supports transformative research that applies scientific and engineering principles to minimize discharges from human activities and to remove or reduce contaminants from polluted air, water, and soils. This includes enhancing high-quality water supplies through innovative biological, chemical, and physical treatment processes. Nanobubble technology for water treatment would align with these objectives.
Build and Broaden (B2) supports fundamental research and research capacity across disciplines at minority-serving institutions (MSIs) and encourages research collaborations with scholars at MSIs. Growing the science, technology, engineering and mathematics (STEM) workforce is a national priority. National forecasts of the impending shortage of workers with science and engineering skills and essential research workers underscore a need to expand opportunities to participate in STEM research (President's Council of Advisors on Science and Technology, 2012). MSIs make considerable contributions to educating and training science leaders for U.S. economic growth and competitiveness. Yet NSF has received comparatively few grant submissions from, or involving, scholars at MSIs. Targeted outreach activities reveal that MSIs have varying degrees of familiarity with funding opportunities within NSF and particularly within the Social, Behavioral and Economic (SBE) Sciences Directorate. As a result, NSF is limited in its ability to support research and training opportunities in the SBE sciences at these institutions. With its emphasis on broadening participation , Build and Broaden is designed to address this problem. SBE offers Build and Broaden in order to increase proposal submissions, advance research collaborations and networks involving MSI scholars, and support research activities in the SBE sciences at MSIs. Proposals that outline research projects in the SBE sciences that increase students' pursuit of graduate training, enhance PI productivity build research capacity, or cultivate partnerships are especially encouraged to apply. Proposals are invited from single principal investigators based at MSIs and from multiple co-investigators from groups of MSIs. Principal investigators who are not affiliated with MSIs may submit proposals, but must collaborate with PIs, co-PIs, or senior personnel from MSIs and describe how their project will foster research partnerships or capacity-building with at least one MSI as a primary goal of the proposed work. Proposals may address any scientific and cross-disciplinary areas supported by SBE. These areas include anthropology, archaeology, cognitive neuroscience, decision science, ecological research, economics, geography, linguistics, law and science, organizational behavior, political science, public policy, security and preparedness, psychology, and sociology. To find research areas supported by SBE please visit the SBE programs page or visit the NSF funding and awards page. Funding Opportunity Number: 22-638. Assistance Listing: 47.075. Funding Instrument: G. Category: ST. Award Amount: $8M total program funding.