AI Funding Opportunities

Below is a list of funding opportunities specifically related to artificial intelligence (AI).

Be sure to subscribe to the Eberly College Research Newsletter to receive biweekly updates about new funding opportunities, and also check back frequently as new opportunities are continuously added to the following pages:

National Science Foundation (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: June 3, 2024; February 5, 2025; and February 5, 2026

Smart Health and Biomedical Research in the Era of Artificial Intelligence and Advanced Data Science (SCH)

The purpose of this interagency program solicitation is to support the development of transformative high-risk, high-reward advances in computer and information science, engineering, mathematics, statistics, behavioral and/or cognitive research to address pressing questions in the biomedical and public health communities. Transformations hinge on scientific and engineering innovations by interdisciplinary teams that develop novel methods to intuitively and intelligently collect, sense, connect, analyze and interpret data from individuals, devices and systems to enable discovery and optimize health. Solutions to these complex biomedical or public health problems demand the formation of interdisciplinary teams that are ready to address these issues, while advancing fundamental science and engineering.

Deadline: October 3, 2024