1. Home
  2. Browse
  3. U.S. National Science Foundation
  4. 24-554

24-554U.S. National Science Foundation

Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

Deadline
Rolling
Funding Opportunity is Archived, Proposals are not accepted
Award ceiling
$1,200,000
Awards
10
Posted
Oct 13, 2026

Official announcement on Grants.gov · opens the funder's page. Always confirm dates there.

Summary

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…

Preparing an application?

On Plus, $39 a month

  • The eligibility check against your profile: career stage, institution type, and the windows that close before the deadline does
Start with PlusSign in

Cancel any time. Browsing stays free.

Subjects

More from U.S. National Science Foundation

Open now with at least two weeks to apply, soonest deadline first.

Geometric Analysis

PD-22-1265U.S. National Science Foundation

—

Topology

PD-22-1267U.S. National Science Foundation

—

U.S. National Science Foundation State and Regional Artificial Intelligence Infrastructure Hubs:

26-513U.S. National Science Foundation

—

NSF Small Business Innovation Research / Small Business Technology Transfer Phase I, Phase II, Fast-Track Programs: A Pilot Emphasis on Scientific Instrumentation

26-511U.S. National Science Foundation

—

Everything open from U.S. National Science Foundation

Related by subject

Open opportunities sharing the most subjects with this one (Arts and humanities, Data science and AI), with at least two weeks to apply.

Unlocking Dataset Value for AI-Enabled Scientific Discovery (AI Datasets)

26-512U.S. National Science Foundation

—

GREGoRi Innovation Projects (U01 Clinical Trial Optional)

RFA-HG-27-013National Institutes of Health3 review criteria on fileagency framework

$500k

Space Technology Research Institutes

NNH26ZTR001N-26STRI-B3NASA Headquarters

$13M

Everything open tagged Arts and humanities

Source record: https://www.grants.gov/search-results-detail/364068Via Grants.gov. Last checked against the source . Always confirm dates with the funder.