AI Funding Opportunities
Below is a list of funding opportunities specifically related to artificial intelligence (AI) and related research topics.
Subscribe to the biweekly Eberly College Research Newsletter to be notified about new funding opportunities and other research-related news, and check back frequently for updates to this page and other funding opportunity webpages.
NSF Funding Opportunities:
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
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.Deadlines: February 5, 2025; February 5, 2026
Science of Learning and Augmented Intelligence
This program supports potentially transformative research that develops basic theoretical insights and fundamental knowledge about principles, processes and mechanisms of learning, and about augmented intelligence — how human cognitive function can be augmented through interactions with others or with technology, or through variations in context. The program supports research addressing learning in individuals and in groups, across a wide range of domains at one or more levels of analysis, including molecular and cellular mechanisms; brain systems; cognitive, affective and behavioral processes; and social and cultural influences. The program also supports research on augmented intelligence that clearly articulates principled ways in which human approaches to learning and related processes, such as in design, complex decision-making and problem-solving, can be improved through interactions with others or through the use of artificial intelligence in technology. These could include ways of using knowledge about human functioning to improve the design of collaborative technologies that have the capacity to learn to adapt to humans.Deadline: February 12, 2025