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
    Computational and Data-Enabled Science and Engineering
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Computational and Data-Enabled Science and Engineering" aimed at advancing scientific and engineering breakthroughs through innovative computational and data-analysis approaches. This program encourages proposals that significantly leverage computational or data science to address complex scientific challenges, with an emphasis on interdisciplinary research that may span multiple divisions and directorates within the NSF. Proposals can be submitted at any time, with specific submission windows for various divisions outlined, and interested applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance. For more details, applicants are encouraged to visit the NSF program description at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=506212.
    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.
    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.
    Division of Physics: Investigator-Initiated Research Projects
    U.S. National Science Foundation
    The U.S. National Science Foundation (NSF) is offering a federal grant opportunity titled "Division of Physics: Investigator-Initiated Research Projects" aimed at supporting a wide range of physics research and the development of future scientists in U.S. colleges and universities. Eligible applicants include foreign organizations, for-profit and non-profit organizations, state and local governments, institutions of higher education, and tribal nations, with a focus on innovative scientific or engineering research. This funding, totaling approximately $120 million, is critical for advancing research in various physics subfields, including Atomic, Molecular and Optical Physics, Nuclear Physics, and Quantum Information Science, among others. Proposals are due by December 12, 2023, with specific deadlines for different subfields, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Designing Synthetic Cells Beyond the Bounds of Evolution
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Designing Synthetic Cells Beyond the Bounds of Evolution," aimed at advancing research in synthetic biology and bioengineering. This initiative seeks proposals that focus on developing cell-like systems to identify the minimal requirements for life, designing synthetically-modified cells to explore fundamental questions in evolution, and leveraging basic research to create innovative synthetic cell-like systems for biotechnology applications. The program emphasizes the importance of addressing social, ethical, and safety issues associated with synthetic cell design, with a total funding amount of $6 million available for approximately seven awards, ranging from $500,000 to $2 million each. Proposals are due by February 2, 2026, and interested applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Division of Materials Research: Topical Materials Research Programs
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Division of Materials Research: Topical Materials Research Programs," aimed at advancing the fundamental understanding of materials science and engineering. This program seeks proposals from eligible applicants, including non-profit organizations, research laboratories, and institutions of higher education, to support research that explores the properties and phenomena of materials, which are crucial for technological innovation and economic growth. With an estimated total program funding of $66 million, proposals can be submitted at any time, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance. For further details, applicants are encouraged to refer to NSF Publication 23-612 available at the provided URL.
    NSF-NIST Interaction in Basic and Applied Scientific Research in BIO, ENG & MPS
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "NSF-NIST Interaction in Basic and Applied Scientific Research in BIO, ENG & MPS" aimed at facilitating collaborative research between NSF-supported researchers and scientists at the National Institute of Standards and Technology (NIST). Eligible applicants include principal investigators (PIs) on current NSF awards from the BIO, ENG, or MPS Directorates, who may request supplemental support to engage in research utilizing NIST's extensive measurement systems and instruments. This initiative is crucial for enhancing scientific collaboration and innovation across various fields, with an estimated total program funding of $300,000 and approximately 20 awards expected to be granted. Proposals are accepted anytime, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Electrochemical Systems
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Electrochemical Systems," aimed at supporting fundamental engineering science research in electrochemistry and photochemistry for sustainable energy production. The program encourages innovative research projects that address key barriers to improved performance in energy storage and conversion systems, emphasizing scalability, environmental sustainability, and the use of renewable resources. With an estimated total program funding of $13,096,000, proposals are accepted on a rolling basis, and interested applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance. For more details, visit the NSF program description at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=506073.
    Combustion and Fire Systems
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Combustion and Fire Systems," aimed at advancing knowledge in clean energy, climate change mitigation, and public safety. The program seeks proposals that create fundamental scientific knowledge for safe and efficient combustion applications and fire mitigation, with a focus on areas such as basic combustion science, clean energy technologies, fire prevention, and turbulence-chemistry interactions. With an estimated total program funding of $4,654,000 and no cost-sharing requirements, proposals can be submitted at any time, and interested applicants are encouraged to contact the NSF grants.gov support team at grantsgovsupport@nsf.gov for assistance. For more details, visit the NSF program description at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=506075.
    Ocean Drilling Program
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Ocean Drilling Program," aimed at advancing basic research in marine geosciences through the International Ocean Discovery Program (IODP). This program requires a multi-platform approach to achieve its scientific goals, which include climate, environmental, and crustal science objectives, utilizing various drilling vessels and platforms operated by international partners. The NSF has allocated an estimated total program funding of $9 million, with individual awards starting at $300,000, and proposals are accepted on a rolling basis. Interested applicants can reach out to the NSF grants.gov support at grantsgovsupport@nsf.gov for assistance and further details can be found at the NSF program description link provided.