Artificial Intelligence, Formal Methods, and Mathematical Reasoning
ID: 352796Type: Posted
Overview

Buyer

National Science Foundation (NSF)

Award Range

$0 - $1M

Eligible Applicants

Others

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/352796

Additional Information

http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24554
Timeline
    Description

    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 significant interest due to recent technological advancements, and is crucial for the development of AI research. The estimated total program funding 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 reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.

    Point(s) of Contact
    grantsgovsupport@nsf.gov
    Files
    No associated files provided.
    Similar Opportunities
    Mathematical Sciences Research Institutes
    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.
    Computational and Data-Enabled Science and Engineering in Mathematical and Statistical Sciences
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Computational and Data-Enabled Science and Engineering in Mathematical and Statistical Sciences" aimed at addressing the mathematical and statistical challenges posed by computational experimentation and the analysis of large datasets. Proposals are sought that will contribute to the development of innovative mathematical and statistical software tools and the theoretical foundations necessary for tackling these challenges, with a focus on advancing the fields of mathematics or statistics significantly. This program is crucial for fostering multidisciplinary collaborations and providing research training for junior mathematicians and statisticians. The total estimated funding for this program is $5 million, with individual awards ranging from $20,000 to $1 million, and proposals can be submitted at any time. For further details, applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov or visit the program's webpage at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=504687.
    Applied Mathematics
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Applied Mathematics," aimed at supporting research that addresses problems in science and engineering through innovative mathematical approaches. Proposals are encouraged from a range of applicants, including single investigators and interdisciplinary teams, with a focus on projects that not only demonstrate mathematical innovation but also provide rigorous training opportunities for junior applied mathematicians. This funding is critical for advancing research and development in the field of applied mathematics, with proposals due by November 17, 2025. Interested applicants can find more information and support by contacting NSF grants.gov support at grantsgovsupport@nsf.gov or visiting the program's webpage at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=5664.
    Correctness for Scientific Computing Systems
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Correctness for Scientific Computing Systems" in collaboration with the Department of Energy (DOE), aimed at enhancing the correctness of scientific computing tools and workflows. This program seeks proposals from eligible applicants, including non-profit organizations, institutions of higher education, and DOE National Laboratories, focusing on the integration of scientific computing and formal reasoning to ensure the reliability of computational systems. The initiative is critical for addressing challenges in scientific computing, emphasizing the need for correctness alongside performance in various applications, including simulations and data management. The estimated total funding for this program is $18 million, with proposals due by August 12, 2025. For further inquiries, interested parties can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    Centers of Research Excellence in Science and Technology - Research Infrastructure for Science and Engineering
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Centers of Research Excellence in Science and Technology - Research Infrastructure for Science and Engineering" aimed at enhancing the research capabilities of minority-serving institutions (MSIs). This program seeks proposals from Emerging Research Institutions that offer master’s or research doctoral degrees in NSF-supported STEM fields, with a focus on increasing the number of STEM research doctoral programs and graduates, particularly from underrepresented groups. The CREST-RISE program, which is part of this initiative, supports projects in various areas of national interest, including artificial intelligence, cybersecurity, and climate change, with a total estimated funding of $6 million and individual awards ranging from $100,000 to $2 million. Interested applicants must submit their proposals by August 1, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Conferences and Workshops in the Mathematical Sciences
    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.
    Computer and Information Science and Engineering (CISE): Core Programs, Large Projects
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Computer and Information Science and Engineering (CISE): Core Programs, Large Projects," aimed at supporting innovative research and education projects in computing, communications, and information science. Proposals are invited from eligible applicants, including non-profit organizations and accredited institutions of higher education, to tackle ambitious fundamental research problems that span multiple CISE core programs, with a focus on collaborative efforts among teams of investigators. This funding is crucial for advancing knowledge in the field and is expected to total $20 million, with individual project budgets ranging from $3 million to $5 million over a duration of 3 to 5 years. Interested parties should submit their proposals by September 29, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Condensed Matter and Materials Theory
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Condensed Matter and Materials Theory" aimed at supporting theoretical and computational materials research across various topical areas. This program encourages proposals that advance the understanding of materials properties and phenomena, utilizing innovative computational and data-centric techniques, including machine learning and data analytics. With an estimated total program funding of $15 million, proposals may be submitted at any time, and eligible applicants include non-profit organizations, research laboratories, and institutions of higher education located in the U.S. For further details, interested parties can contact NSF grants.gov support at grantsgovsupport@nsf.gov or refer to the NSF Publication 23-611 available at the provided link.
    Science and Technology Centers: Integrative Partnerships
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Science and Technology Centers: Integrative Partnerships," aimed at supporting innovative and complex research and education projects that require substantial funding. Eligible applicants include institutions of higher education in the U.S. with doctoral degree-granting programs, which must collaborate with various scientific organizations to achieve the strategic goals of the Center. This program is crucial for fostering groundbreaking research and education in science and engineering, with a total estimated funding of $30 million, and individual awards ranging from $1.5 million to $6 million. Proposals are due by June 2, 2025, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Materials Innovation Platforms
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Materials Innovation Platforms" aimed at advancing materials research through collaborative and interdisciplinary efforts. Proposals are invited from accredited institutions of higher education in the U.S., with each project requiring a team of at least three senior personnel with expertise in materials synthesis, processing, characterization, and modeling. This initiative is part of the NSF's commitment to addressing complex challenges in materials science, aligning with the goals of the Materials Genome Initiative to accelerate the discovery and deployment of advanced materials. The total estimated program funding is $16 million, with individual awards ranging from $18 million to $30 million, and proposals are due by May 15, 2025. For further information, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the additional information link provided in the announcement.