Foundations
Funds mathematical logic and the foundations of mathematics — proof theory, recursion theory, model theory and set theory.
This programme funds research in mathematical logic and the foundations of mathematics.
The named areas are proof theory, recursion theory, model theory, set theory and infinitary combinatorics.
Thirty awards are expected against a $2.3 million pool, which puts the typical award well under $100,000 — small by NSF standards, and characteristic of a field where the main cost is people's time rathe…
Mathematical logic and the foundations of mathematics — proof theory, recursion theory, model theory, set theory and infinitary combinatorics.
Sign up free to see the funding breakdown
Sign up free to see the industries in scope
Sign up free to see the full eligibility
Sign up free to see how to apply
Sign up free to see what you submit
Sign up free to see how they score you
Sign up free to see the timeline
Sign up free to see where teams trip up
Guides for this application
All guides →NSF Biosketch Guide: SciENcv, Format, and Examples
Learn how the NSF biosketch works, what SciENcv is used for, how it differs from current and pending support, and what startup teams should prepare.
DocumentsNSF Data Management Plan Example and Writing Guide
Learn how to write an NSF data management plan, what the plan should include, how it differs from NIH data sharing plans, and how startup applicants should handle data.
Write proposalHow to Write a Grant Proposal Reviewers Can Score
Learn how to write a grant proposal around reviewer criteria, evidence, work packages, budget logic, and commercialization for deeptech and R&D funding.
DocumentsGrant Work Plan Template: Work Packages, Gantt, Milestones, and Risks
Use this grant work plan template to structure work packages, tasks, owners, deliverables, Gantt timing, dependencies, and risk registers.
More from NSF
All grants from this funder →Geometric Analysis
🇺🇸NSF · United States
Funds differential geometry and its links to partial differential equations, mathematical physics, symplectic and geometric group theory — 60 awards.
Topology
🇺🇸NSF · United States
Funds algebraic and geometric topology — homotopy theory, K-theory, knots, manifolds, quantum field theories and topological data analysis.
NSF SBIR Phase I
🇺🇸NSF · United States
Funds United States deep-tech startups demonstrating scientific feasibility of novel science and engineering innovations.
NSF SBIR Phase II
🇺🇸NSF · United States
Funds United States deep-tech startups extending proven early projects into substantial technology development.
NSF STTR Phase I
🇺🇸NSF · United States
Funds United States deep-tech startups partnering with nonprofit research institutions for early-stage feasibility studies.
NSF STTR Phase II
🇺🇸NSF · United States
Funds United States deep-tech projects that continue with nonprofit research partners after successful initial feasibility work.
Similar grants
Browse the directory →
AFRI Foundational and Applied Science
🇺🇸USDA NIFA · United States
Supports agriculture innovation across plant health, bioenergy, food safety, and rural systems through USDA research grants and extension.
Parkinson's Foundation Stanley Fahn Junior Faculty Award
🇺🇸Parkinson's Foundation · United States
Funds early-career Parkinson's disease researchers at United States and Canada institutions through independent investigator support.
Bexar County Innovation Fund
🇺🇸Bexar Innovation Fund · United States
Funds Bexar County innovation through startup recruitment, expansion, and training.
Business Innovation Funding
🇺🇸MTI · United States
Funds Maine technology businesses with grants, loans, or equity ranging from ten to two hundred fifty thousand dollars.
Minnesota Job Creation Fund
🇺🇸MN DEED · United States
Supports Minnesota employers creating high-quality jobs with incentives tied to facility investment and performance.
Harvard Climate Change Solutions Fund (CCSF)
🇺🇸Salata Institute · United States
Supports Harvard research and policy initiatives reducing climate change risks through renewable energy and adaptation.