Open·Ingested 198 days ago, not re-verified since
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
National Science Foundation
Apply at National Science Foundation
Free. Verify your email, then we send one reminder only.
- Posted
- Jan 9, 2026
- Closes
- No deadline published by the funder
Amount
Amount not published by the funder
Who can apply
universityNonprofits
Nonprofits, including small and volunteer-run organizations can apply here. Check the eligibility details below to see if your organization fits.
US-based academic institutions. Non-profit research organizations. Qualified researchers (typically requires US citizenship or permanent residency)…
About this opportunity
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.
Related opportunities
- Mathematical Foundations of Artificial Intelligence (MFAI)National Science FoundationCloses in 75 days
- Mathematical Foundations of Artificial IntelligenceU.S. National Science FoundationCloses in 75 daysUp to $1.5M
- TechAccess: AI-Ready AmericaNational Science FoundationUp to $56
- Collaborations in Artificial Intelligence and Geosciences (CAIG)National Science Foundation
- Algorithmic Foundations (AF)National Science Foundation
- Mathematical Sciences Research InstitutesU.S. National Science FoundationCloses Mar 2029Up to $6.5M