Foundations
ID: 302270Type: Posted
Overview

Buyer

National Science Foundation (NSF)

Eligible Applicants

Unrestricted

Funding Category

Science and Technology and other Research and Development

Funding Instrument

Grant

Opportunity Category

Discretionary

Cost Sharing or Matching Requirement

Yes

Original Source

https://grants.gov/search-results-detail/302270

Additional Information

http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=5548
Timeline
    Description

    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Foundations," aimed at supporting research in mathematical logic and the foundations of mathematics. This program encompasses areas such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics, and encourages proposals for conferences, workshops, and educational activities related to these fields. With an estimated total program funding of $2,300,000 and approximately 30 awards expected, interested applicants should note that the application deadline is September 24, 2024. For further information, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the program's webpage at http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=5548.

    Point(s) of Contact
    grantsgovsupport@nsf.gov
    Files
    No associated files provided.
    Similar Opportunities
    Combinatorics
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Combinatorics," aimed at supporting research on discrete structures, including various branches of combinatorics such as algebraic, enumerative, and graph theory. Proposals are encouraged for conferences, workshops, and similar activities related to this field, with a requirement that conference proposals be submitted at least six months prior to the event and ideally within the same fiscal year. This program is significant for advancing knowledge and collaboration in mathematical sciences, and it is open to all eligible applicants without cost-sharing requirements. Interested parties should note that the application deadline is September 24, 2024, and can find more information through the NSF's program description at the provided link or by contacting grants.gov support at grantsgovsupport@nsf.gov.
    Focused Research Groups in the Mathematical Sciences
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Focused Research Groups in the Mathematical Sciences" aimed at supporting collaborative groups that tackle significant research challenges in the mathematical sciences. Proposals are invited from accredited institutions of higher education, including community colleges, with a focus on innovative and interdisciplinary approaches to solving major mathematical problems that have wide-ranging impacts. The program has an estimated total funding of $12 million, with individual awards ranging from $450,000 to $1.5 million, and is expected to fund approximately 10 projects. Interested applicants should note that the proposal submission deadline is September 11, 2024, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for any inquiries.
    Mathematical Foundations of Artificial Intelligence
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Mathematical Foundations of Artificial Intelligence," aimed at advancing research in the mathematical and theoretical underpinnings of artificial intelligence (AI). This initiative seeks proposals from non-profit organizations and accredited institutions of higher education in the U.S. to address critical foundational gaps in AI, focusing on understanding its capabilities, limitations, and the development of mathematically grounded design principles. The grant, with an award ceiling of $1.5 million and an estimated total program funding of $8.5 million, is open for submissions until October 10, 2024. Interested applicants can find more information and support by contacting NSF grants.gov at grantsgovsupport@nsf.gov.
    Computational Mathematics
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Computational Mathematics," aimed at supporting mathematical research where computation is central. This program encourages proposals that focus on the analysis, development, and implementation of efficient algorithms, with a strong emphasis on innovative computational methods and the training of junior computational mathematicians through research involvement. With an estimated total program funding of $18 million and individual awards ranging from $1 to $1.2 million, interested applicants must submit their proposals by December 2, 2024. For further information or assistance, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    Conferences and Workshops in the Mathematical Sciences
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Conferences and Workshops in the Mathematical Sciences" aimed at supporting research and training activities within the mathematical sciences community. Eligible applicants include non-profit organizations, independent museums, observatories, research laboratories, professional societies, and institutions of higher education located in the U.S., with proposals accepted for conferences, workshops, and related events for durations of up to three years. This funding is crucial for fostering collaboration and knowledge sharing in the mathematical sciences, with an estimated total program funding of $4 million and an expected 100 awards ranging from $5,000 to $150,000. Proposals can be submitted at any time, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Mathematical Sciences Research Institutes
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Mathematical Sciences Research Institutes," aimed at advancing research in the mathematical sciences. This program seeks proposals from eligible applicants, including non-profit organizations, institutions of higher education, and multi-institutional consortia, to support initiatives that enhance research, dissemination of knowledge, and collaboration within the mathematical sciences community. The institutes are designed to focus on significant mathematical problems and foster connections with related fields, ultimately expanding the talent pool engaged in mathematical research in the U.S. The estimated total program funding is $40 million, with individual awards ranging from $1.5 million to $6.5 million, and proposals are due by March 14, 2029. For further information, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the additional information link provided in the announcement.
    Formal Methods in the Field
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Formal Methods in the Field" aimed at fostering collaboration between researchers in formal methods and those in various areas of computer and information science and engineering. The program seeks to develop rigorous methodologies for creating systems and applications that are correct-by-construction, emphasizing the importance of formal methods in enhancing research across different fields. Eligible applicants include non-profit organizations and institutions of higher education in the U.S., with proposals due by February 18, 2025. The estimated total program funding is $10,500,000, with project budgets varying by track: up to $1,000,000 for research proposals, $150,000 for transition to practice proposals, and $250,000 for education proposals. For further inquiries, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    Artificial Intelligence, Formal Methods, and Mathematical Reasoning
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Artificial Intelligence, Formal Methods, and Mathematical Reasoning" aimed at supporting research that integrates innovative computational and AI technologies with mathematical reasoning strategies to enhance knowledge discovery. This program seeks to advance the field of machine-assisted mathematical reasoning, which has gained traction due to recent technological developments and its potential impact on AI research. The estimated total funding for this program is $6 million, with an award ceiling of $1.2 million and an expected ten awards to be made. Proposals are due by February 5, 2025, and interested applicants can find more information at the NSF's publication page or contact grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Mathematical Sciences Infrastructure Program
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering the Mathematical Sciences Infrastructure Program, a federal grant aimed at enhancing the health of the mathematical sciences research community. This program invites proposals that support core research infrastructure, training initiatives, and conference or workshop activities that have a significant regional or national impact. The program is particularly focused on fostering broad participation and professional development within the mathematical sciences, encouraging innovative projects that extend beyond the submitting institution. Proposals are due by February 4, 2025, and interested applicants can find more information and contact support at grantsgovsupport@nsf.gov or visit the NSF website for additional details.
    Algebra and Number Theory
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Algebra and Number Theory," aimed at supporting research in various mathematical fields, including algebra, number theory, and representation theory. Proposals for conferences, workshops, and similar activities are encouraged, with specific guidelines for budget requests; those under $50,000 should be submitted six to twelve months in advance, while requests exceeding this amount require submission nine to twelve months prior to the event. This program is crucial for advancing research and collaboration in mathematical sciences, fostering innovation and knowledge dissemination. Interested applicants can find more information and submit proposals by the close date of October 11, 2024, and should direct any inquiries to grantsgovsupport@nsf.gov.