Correctness for Scientific Computing Systems
ID: 354144Type: Posted
Overview

Buyer

National Science Foundation (NSF)

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

Additional Information

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

    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 initiative seeks proposals that address the fundamental requirement of correctness in scientific computing, focusing on both software and hardware aspects, including the absence of faulty behaviors and the need for formal reasoning and mechanized proving of program properties. The program emphasizes the importance of collaboration between experts in scientific computing and formal reasoning, with an estimated total funding of $18 million available for this initiative. Proposals are due by August 12, 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
    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.
    ACED: Accelerating Computing-Enabled Scientific Discovery
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "ACED: Accelerating Computing-Enabled Scientific Discovery," aimed at harnessing computing advancements to accelerate scientific discovery across various disciplines. The program encourages interdisciplinary collaboration between researchers in computing and those in other scientific fields, with proposals solicited in two tracks: Emerging Ideas Proposals, which support speculative projects with budgets up to $500,000 for 18-24 months, and Discovery Proposals, which fund transformative research with budgets up to $3 million over four years. This initiative is critical for fostering innovation in both computing technologies and scientific research, with a total estimated program funding of $15 million. Interested applicants must submit proposals by January 14, 2025, and 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
    Active
    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.
    Safety, Security, and Privacy of Open-Source Ecosystems
    Active
    National Science Foundation
    The National Science Foundation (NSF) is inviting proposals for the "Safety, Security, and Privacy of Open-Source Ecosystems" grant program, aimed at addressing vulnerabilities in open-source products and their development infrastructures. This initiative seeks to enhance the safety, security, and privacy of open-source ecosystems (OSEs) by funding projects that tackle both technical and socio-technical vulnerabilities, thereby catalyzing improvements that the ecosystems currently lack the resources to implement. With an estimated total program funding of $15 million, eligible applicants include U.S.-based for-profit organizations, non-profit organizations, state and local governments, tribal nations, and institutions of higher education, with proposals due by April 22, 2025. For further inquiries, interested parties can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    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.
    Computer Science for All
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Computer Science for All," aimed at enhancing computer science (CS) and computational thinking (CT) education for preK-12 students across the United States. This initiative seeks to support high school teachers with professional development, provide preK-8 teachers with instructional materials, and equip schools and districts with resources to establish and evaluate multi-grade pathways in CS and CT. With an estimated total program funding of $20 million and an award ceiling of $2 million, proposals are open to non-profit organizations, institutions of higher education, and federally recognized Tribal Nations. Interested applicants must submit their proposals by February 12, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    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.
    Broadening Participation in Computing
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Broadening Participation in Computing" aimed at increasing the number of U.S. citizens and permanent residents earning post-secondary degrees in computing disciplines, particularly among underrepresented groups. The program encourages innovative methods and strategies to improve recruitment and retention of these students, targeting various stages of the academic pipeline and promoting collaboration among academic institutions, K-12 schools, and other organizations. With an estimated total program funding of $12.75 million and an award ceiling of $1.2 million, the NSF anticipates making approximately 30 awards. Proposals are due by January 16, 2025, and interested applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Expeditions in Computing
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Expeditions in Computing," aimed at supporting ambitious research agendas in the fields of computer and information science and engineering. Eligible applicants include accredited institutions of higher education in the U.S. with relevant programs, as well as non-profit organizations and national laboratories, while for-profit organizations and foreign entities may participate with independent funding. This program is designed to foster transformative research that anticipates future innovations, with a total estimated funding of $60 million and individual awards reaching up to $15 million over seven years. Proposals must be submitted by March 31, 2025, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Law & Science
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Law & Science," aimed at supporting interdisciplinary research that explores the intersection of law, social sciences, and technology. Proposals should focus on advancing scientific understanding of the connections between human behavior and legal systems, as well as the application of scientific principles in legal contexts, addressing issues such as crime, environmental science, and legal decision-making. With an estimated total program funding of $5.5 million, this discretionary grant has no cost-sharing requirements and is open to unrestricted applicants. The application deadline is January 15, 2025, and interested parties can find more information and contact NSF at grantsgovsupport@nsf.gov for assistance.