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
    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.
    Safety, Security, and Privacy of Open-Source Ecosystems
    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
    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.
    Expeditions in Computing
    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.
    NSF National Quantum Virtual Laboratory - Quantum Testbeds
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "NSF National Quantum Virtual Laboratory - Quantum Testbeds," aimed at advancing quantum information science and technology. This initiative seeks proposals for the Design and Implementation phases of Quantum Science and Technology Demonstration (QSTD) projects, contingent upon prior successful Pilot and Design projects, respectively. The program is part of the National Quantum Initiative (NQI) Act, which emphasizes the importance of fostering early adoption of quantum technologies and engaging diverse stakeholders, including industry partners, to enhance research and development in this field. The estimated total funding for this program is $32 million, with proposals due by April 1, 2025. Interested applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Improving Undergraduate STEM Education: Computing in Undergraduate Education
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Improving Undergraduate STEM Education: Computing in Undergraduate Education" aimed at enhancing the teaching of computing to a diverse range of students. This initiative seeks proposals that focus on innovative methods to teach computing effectively and inclusively, particularly targeting underrepresented and underserved groups in traditional computing fields. With an estimated total program funding of $7.5 million and an award ceiling of $2 million, the NSF expects to make approximately six awards. Interested applicants, including for-profit organizations, non-profit entities, state and local governments, and accredited institutions of higher education, must submit their proposals by April 29, 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.
    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.
    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.
    Quantum Leap Challenge Institutes
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Quantum Leap Challenge Institutes," aimed at supporting large-scale interdisciplinary research projects in quantum information science and technology (QIST). Proposals are invited from accredited institutions of higher education in the U.S., including community colleges, to address significant challenges in areas such as quantum computation, communication, simulation, and sensing. This initiative is crucial for fostering breakthroughs in QIST, enhancing education and workforce development, and promoting collaboration across various disciplines and institutions. The estimated total program funding is $300 million, with individual awards ranging from $10 million to $45 million, and proposals are due by September 17, 2025. For further information, interested parties can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the additional information link provided in the announcement.
    NSF-AFRL REsearch in FLoquet Engineered QuanTum Systems
    National Science Foundation
    The National Science Foundation (NSF), in collaboration with the Air Force Research Laboratory (AFRL), is offering a grant opportunity titled "NSF-AFRL Research in Floquet Engineered Quantum Systems" aimed at advancing the understanding of novel quantum systems influenced by time-periodic driving forces. This initiative seeks proposals from institutions of higher education (IHEs) to explore transformative approaches in materials, devices, theory, and systems related to quantum science and engineering, with a focus on fostering interagency collaboration and enhancing the U.S. global competitiveness in quantum research. The total estimated funding for this program is $3 million, with a minimum award amount of $3 million, and proposals are due by March 14, 2025. Interested applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance with the funding announcement.