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
    Research Training Groups in the Mathematical Sciences
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Research Training Groups in the Mathematical Sciences" aimed at enhancing the nation's scientific competitiveness by increasing the number of well-prepared individuals pursuing careers in mathematical sciences. This program seeks proposals from accredited institutions of higher education in the U.S. that grant doctoral degrees in mathematical sciences, focusing on improving graduate student research training and professional development through collaborative research groups. The NSF encourages submissions that integrate mathematical sciences with emerging fields such as Artificial Intelligence, Biotechnology, Quantum Computing, and Cybersecurity. The total estimated funding for this program is $12 million, with individual awards ranging from $400,000 to $600,000, and proposals are due by August 12, 2025. For further inquiries, applicants can contact NSF grants.gov support 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.
    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.
    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.
    Computational and Data-Enabled Science and Engineering in Mathematical and Statistical Sciences
    Active
    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.
    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.
    Research on Innovative Technologies for Enhanced Learning
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Research on Innovative Technologies for Enhanced Learning" aimed at supporting early-stage research in emerging technologies that enhance teaching and learning in real-world educational environments. This program encourages proposals that explore innovative technologies, including artificial intelligence, robotics, and immersive technologies, with a focus on diverse learner populations and cost-effective solutions for budget-limited educational institutions. The total estimated funding for this program is $25 million, with an award ceiling of $900,000 and an expected 25 awards to be made. Proposals are due by November 5, 2024, and interested applicants can find more information at the NSF's publication link or contact grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Applied Mathematics
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Applied Mathematics," aimed at supporting research in mathematics that addresses challenges in science and engineering. Proposals are encouraged from both individual investigators and interdisciplinary teams, focusing on the development of innovative mathematical techniques, while applications primarily related to biological sciences should be directed to other programs. This grant is part of the discretionary funding category, with no cost-sharing requirements, and proposals must be submitted between November 1-15 annually, with the next deadline on November 15, 2024. For further details, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the program's webpage at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=5664.
    Correctness for Scientific Computing Systems
    Active
    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.
    Mathematical Foundations of Digital Twins
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Mathematical Foundations of Digital Twins," aimed at supporting foundational mathematical and statistical research related to Digital Twins in applied sciences. This initiative seeks to foster collaborative efforts that stimulate innovation and expand knowledge in mathematics, statistics, and computation, particularly in applications that enhance decision-making across various fields such as engineering, medicine, and urban planning. With an estimated total program funding of $5 million and an expected ten awards, the grant has a minimum award floor of $1.5 million. Proposals are due by March 17, 2025, and interested applicants can find more information at the NSF's publication link or contact grants.gov support at grantsgovsupport@nsf.gov for assistance.