Correctness for Scientific Computing Systems — U.S. National Science Foundation funding opportunity
U.S. National Science Foundation · Federal agency

Correctness for Scientific Computing Systems

Correctness for Scientific Computing Systems (CS2) is a joint program of the National Science Foundation (NSF) and the Department of Energy (DOE). The program addresses challenges that are both core to DOE’s mission and...

98
match
Deadline Aug 11 Location Alabama Type grant Level Federal Open posted May 10, 2024
✦ AI Summary
  • Who can apply: Federal-level applicants (see eligibility for details).
  • Funding amount: total funding pool ~$18,000,000.
  • Next deadline: August 11, 2026.
  • Issued by: U.S. National Science Foundation.
Sign in to generate AI summary
How was this generated?

The “key facts” mode pulls structured fields directly from the official source posting (amount, deadline, eligibility tags). The AI mode adds a short plain-English narrative on top, generated from the same source. Always verify with the agency before applying.

AI-generated. Always verify with the official source.

Deadline
Aug 11
Aug 11, 2026
Total pool
$18M

About this opportunity

Correctness for Scientific Computing Systems (CS2) is a joint program of the National Science Foundation (NSF) and the Department of Energy (DOE). The program addresses challenges that are both core to DOE’s mission and essential to NSF’s mission of ensuring broad scientific progress. The program’s overarching goal is to elevate correctness as a fundamental requirement for scientific computing tools and tool chains, spanning low-level libraries through complex multi-physics simulations and emerging scientific workflows. At an elementary level, correctness of a system means that desired behavioral properties will be satisfied during the system’s execution. In the context of scientific computing, correctness can be understood, at both the level of software and hardware, as absence of faulty behaviors such as excessive numerical rounding, floating-point exceptions, data races deadlocks, memory faults, violations of specifications at interfaces of system modules, and so on. The CS2 program puts correctness on an equal footing with performance, the focus of current scientific computing research. This program envisions the necessity of proving correctness even in performant scientific computing systems. Such correctness proofs themselves might rely upon multiple factors, including correctness of static and runtime program analyses. Recognizing that many scientific computing applications are inherently statistical, use probabilistic or randomized algorithms, and/or deal with uncertain data, probabilistic notions of correctness may be needed. It is also critical to realize that correctness guarantees are provided with respect to some pre-defined system model. For many reasons, including defect, the state space allowed by real systems might depart from that model. When this happens, the ability to probe the system to isolate the discrepancy is a key challenge in many domains. CS2 requires close and continuous collaboration between researchers in two complementary areas of expertise. One area is scientific this solicitation, is broadly construed to include: models and simulations of scientific theories; management and analysis of data from scientific experiments; libraries for numerical computation; and allied topics. The second area is formal reasoning and mechanized proving of properties of this solicitation, is broadly construed to include automatic/interactive/auto-active verification, runtime verification, type systems, abstract interpretation, programming languages, program analysis, program reasoning, static and dynamic testing, property-based testing, and allied topics.

Funding agency

U.S. National Science Foundation
Federal agency

Tags

Technology & Software Energy & Utilities Education & Research Transportation & Logistics Science, Tech & Engineering (STEM)
Want help applying?

Our specialists will check your eligibility, prepare the application, and walk you through every step — for free. Create a free account →

Who can apply

Eligibility details aren't on file yet — check the agency source link in the Documents tab for the latest rules.

Geographic eligibility

  • Alabama
  • Alaska
  • Arizona
  • Arkansas
  • California
  • Colorado
  • Connecticut
  • Delaware
  • Florida
  • Georgia
  • Hawaii
  • Idaho
  • Illinois
  • Indiana
  • Iowa
  • Kansas
  • Kentucky
  • Louisiana
  • Maine
  • Maryland
  • Massachusetts
  • Michigan
  • Minnesota
  • Mississippi
  • Missouri
  • Montana
  • Nebraska
  • Nevada
  • New Hampshire
  • New Jersey
  • New Mexico
  • New York
  • North Carolina
  • North Dakota
  • Ohio
  • Oklahoma
  • Oregon
  • Pennsylvania
  • Rhode Island
  • South Carolina
  • South Dakota
  • Tennessee
  • Texas
  • Utah
  • Vermont
  • Virginia
  • Washington
  • West Virginia
  • Wisconsin
  • Wyoming
  • District of Columbia

How to apply

We don't have application instructions on file yet — head straight to the official source.

Apply on agency site
Tip from our team:

Read the agency's eligibility checklist before you start — it's almost always shorter than the full NOFO and will tell you in 90 seconds whether to keep going.

Need help getting in touch with the right agency contact?

Create a free account and our specialists will guide you through the application end-to-end.

Source documents

View on agency site
Canonical NOFO, application packet, and forms
No supplemental documents yet.

Direct downloads (NOFO PDFs, application forms, FAQs) will appear here once our team attaches them. For now, the agency site has the canonical packet.

Citation details

Source systemgrants.gov
Source ID354144
PostedMay 10, 2024

Frequently asked questions

No FAQs yet.

Have a question about this fund? Sign in to open a ticket about this fund.

Similar grants

Construction & Housing
Transportation Department

Notice of Funding Opportunity for the Fiscal Year 2025 and 2026 Consolidated Rail Infrastructure and Safety Improvements Program

83
match

- **Who can apply:** Federal-level applicants (see eligibility for details). - **Issued by:** Transportation Department. - **About:** The Federal Railroad Administration has published a Notice of Funding Opportunity (…

Amount varies Rolling Nationwide, USA
Transportation & Logistics
Transportation Department

Notice of Funding Opportunity for the Fiscal Years 2025-2026 Federal-State Partnership for Intercity Passenger Rail Program for Projects Located on the Northeast Corridor (Partnership-NEC)

97
match

- **Who can apply:** Federal-level applicants (see eligibility for details). - **Issued by:** Transportation Department. - **About:** The Federal Railroad Administration has published a Notice of Funding Opportunity (…

Amount varies Rolling Nationwide, USA
Agriculture & Farming
Department of Resources Recycling and Recovery

Farm and Ranch Solid Waste Cleanup and Abatement Grant Program FR91

71
match

Purpose: The Farm & Ranch Solid Waste Clean Up & Abatement Grant program provides funding for cleaning up and preventing illegal dumping on agricultural properties (CCR, Section 17991(d)). Each fiscal year has four ap…

Amount varies Rolling California, USA
Nonprofit & Community
CA State Library

2026-2027 LSTA Digital Literacy and Access

68
match

Purpose: Public libraries provide access to digital resources and the skills to safely use those resources, which are key components of the Broadband for All Initiative . The goals of this opportunity are to help libr…

Amount varies Rolling California, USA
Apply on agency site