Foundations
The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. Offered by U.S. National Science Foundation; awards $2.3M; applications due September 22, 2026.
Key Facts
- Funder
- U.S. National Science Foundation
- Award amount
- $2.3M
- Deadline
- September 22, 2026
- Geography
- United States
- Categories
- Education, Research, Technology
- Status
- Open
About This Grant
The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. Conferences Principal Investigators should carefully read the program solicitation "Conferences and Workshops in the Mathematical Sciences" (link below) to obtain important information regarding the substance of proposals for conferences, workshops, summer/winter schools, and similar...
Full requirements and application instructions: official listing.
Similar Open Grants
Unlocking Dataset Value for AI-Enabled Scientific Discovery
U.S. National Science Foundation
Engineering Research Initiation
U.S. National Science Foundation
Collaboratory to Advance Mathematics Education and Learning (CAMEL) for K-12
U.S. National Science Foundation
Professional Formation of Engineers
U.S. National Science Foundation
Engineering Biological and Biomedical Systems (EBBS)
U.S. National Science Foundation
Transport Phenomena (TP)
U.S. National Science Foundation
FY27 Brownfields Job Training (JT) Grants
Environmental Protection Agency
Atopic Dermatitis Research Network (ADRN) (U19 Clinical Trial Optional)
National Institutes of Health
DoW Alzheimer’s Transforming Care Award
Defense Health Agency Contracting Activity - DHACA
DoW Alzheimer’s Transforming Diagnosis Award
Defense Health Agency Contracting Activity - DHACA