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.
    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.
    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.
    Design for Environmental Sustainability in Computing
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Design for Environmental Sustainability in Computing" aimed at addressing the environmental impacts of computing throughout its lifecycle. The program seeks innovative proposals that go beyond energy efficiency to tackle a comprehensive range of sustainability metrics, including greenhouse gas emissions, resource depletion, and waste management, with the goal of achieving significant improvements in the environmental sustainability of computing systems. Eligible applicants include non-profit organizations, independent research laboratories, and accredited institutions of higher education in the U.S., with a total estimated funding of $11.8 million available for approximately 18 awards, ranging from $100,000 to $2 million each. Proposals are due by September 13, 2024, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Foundations
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Foundations," aimed at supporting research in mathematical logic and the foundations of mathematics, including areas such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. This program encourages proposals for conferences, workshops, and similar activities, with a specific emphasis on submitting proposals eight months prior to the desired start date. With an estimated total program funding of $2,300,000 and approximately 30 awards expected, interested applicants can find more information and submit inquiries via grantsgovsupport@nsf.gov. The application deadline is September 24, 2024, and further details can be accessed through the NSF's program description link.
    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.
    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.
    Computer and Information Science and Engineering (CISE): Core Programs
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Computer and Information Science and Engineering (CISE): Core Programs," aimed at supporting research and education projects that advance knowledge in computing, communications, and information science and engineering. Eligible applicants include non-profit organizations, independent museums, observatories, research laboratories, professional societies, and institutions of higher education located in the U.S., with specific requirements for principal investigators regarding their positions. This funding is crucial for fostering innovation in various computing domains, with an estimated total program funding of $280 million and awards ranging from $600,000 to $12 million, with a deadline for proposals set for October 23, 2024. For further inquiries, applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov.
    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.