Correctness for Scientific Computing Systems
U.S. National Science Foundation
Free. Verify your email, then we send one reminder only.
- Posted
- Dec 17, 2025
- Amount
- $18,000,000
- Closes
- Aug 11, 2026 (in 27 days)
- Last verified
- Jul 15, 2026
Classification and identifiers
- Solicitation number
- 24-571
- Assistance listing (CFDA)
- 81.049
Amount
$18,000,000
Who can apply
Who May Submit Proposals: Proposals may only be submitted by the following: -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or research activities. Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members. DOE National Laboratories. *Who May Serve as PI: By the submission deadline, any PI, co-PI, or other senior/key personnel must: o be a DOE National Laboratory employee; or o must hold either: a tenured or tenure-track position, or a primary, full-time paid appointment in a research or teach...
About this opportunity
Correctness for Scientific Computing Systems (CS 2 ) 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 fault...