Foundations
Closed Posted
- Opportunity number
- PD-18-1268
- Agency
-
National Science Foundation
- Applications due
- Originally
- Award size
- Not on record
Opportunity facts
- Assistance listings
- Funding instrument
- Grant
- Category
-
- Science and Technology and other Research and Development
- Eligible applicants
-
- Unrestricted
- Points of contact
- Full announcement
Opportunity details come from Grants.gov. Updated .
About this opportunity
The National Science Foundation is soliciting applications for the Foundations program to support research in mathematical logic and the foundations of mathematics through September 22, 2026. Applicant types are unrestricted. The program funds research in proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. Conference and workshop proposals carry a distinctive submission requirement: they must be submitted eight months before the requested start date and should reference the separate "Conferences and Workshops in the Mathematical Sciences" solicitation for substantive guidance.
This opportunity falls under the Mathematical and Physical Sciences grant program (CFDA 47.049). The Division of Mathematical Sciences within NSF, which administers this program, has obligated $2.3 billion across 8,177 awards historically, with recent individual research project awards typically ranging from $45,000 to $1.26 million. Typical research project grants fall in the $200,000 to $500,000 range.
Applications must be submitted through Grants.gov or Research.gov as appropriate to the submission type. Required components include the SF 424 (R&R) form, project narratives (limited to 15 pages), budget justification (five pages), and data management and sharing plans (two pages). Personnel costs are limited to two months of senior/key person salary per year. All attachments must be in PDF format. Indirect costs are calculated based on federally negotiated rates. Organizations must register with NSF via the Research.gov Account Management system, and all administrators, Authorized Representatives, Principal Investigators, and co-PIs must establish NSF accounts before submission.
Synopsis
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 activities. Conference and workshop proposals should be submitted eight months before the requested start date.
Files
| File | Type | Posted |
|---|---|---|
| PKG00239781-instructions.pdf | ||
| PKG00239781-instructions..pdf | ||
| PKG00239781.pdf | ||
| oppPD-18-1268-instructions..pdf |
On GovTribe
Work this opportunity
- Track it in your pipeline
- Find teaming partners
- Similar grant opportunities
- Ask GovTribe AI about this opportunity