1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
"Correctness for Scientific Computing Systems (CS2)" is currently closed and not accepting applications.
Correctness for Scientific Computing Systems (CS2) is sponsored by NSF. Supports research focused on correctness as it applies to scientific computing tools and tool chains, spanning low-level libraries through complex multi-physics simulations and emerging scientific workflows.
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
Correctness for Scientific Computing Systems (CS2) | NSF - U.S. National Science Foundation Correctness for Scientific Computing Systems (CS2) Important information for proposers and award recipients All proposals must be submitted in accordance with the requirements specified in the funding opportunity and in the Proposal & Award Policies & Procedures Guide (PAPPG) and its supplements .
All NSF grants and cooperative agreements are subject to the applicable set of NSF award terms and conditions . NSF has updated its research security policies for NSF funded projects. Supports research focused on correctness as it applies to scientific computing tools and tool chains, spanning low-level libraries through complex multi-physics simulations and emerging scientific workflows.
Supports research focused on correctness as it applies to scientific computing tools and tool chains, spanning low-level libraries through complex multi-physics simulations and emerging scientific workflows. 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 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 CS 2 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 misspecification, approximation, and 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. CS 2 requires close and continuous collaboration between researchers in two complementary areas of expertise.
One area is scientific computing, which, for this solicitation, is broadly construed to include: models and simulations of scientific theories; management and analysis of data from scientific simulations, observations, and experiments; libraries for numerical computation; and allied topics.
The second area is formal reasoning and mechanized proving of properties of programs, which, for this solicitation, is broadly construed to include automatic/interactive/auto-active verification, runtime verification, type systems, abstract interpretation, programming languages, program analysis, program logic, compilers, concurrency, stochastic reasoning, static and dynamic testing, property-based testing, and allied topics. hal.
finkel@science. doe. gov Awards made through this program Browse projects funded by this program Map of recent awards made through this program Directorate for Computer and Information Science and Engineering (CISE) Division of Computing and Communication Foundations (CISE/CCF) Office of Advanced Cyberinfrastructure (CISE/OAC)
Key questions and narrative sections extracted from the solicitation.
Research proposal addressing correctness as a fundamental requirement for scientific computing tools and tool chains
Close collaboration between scientific computing and formal reasoning/mechanized proving research areas
According to the current listing, eligibility includes: Universities, Nonprofits, For-profit organizations, State and local governments, Federally recognized tribal governments, and U.S. Territories. Confirm the full requirements in the official notice before applying.
The published deadline was August 11, 2026, which has passed. Check the official notice for any future application windows before investing time in a proposal.
Correctness for Scientific Computing Systems (CS2) is funded by NSF. Verify program details on the funder's official page before applying.
Yes — this listing is flagged as national in scope, so applicants across the U.S. may apply, subject to the sponsor's other eligibility criteria.
Applications go through the funder's official portal — the Apply Now link on this page goes there directly.
Past winners and funding trends for this program
MGPV Travel Grant is sponsored by Geological Society of America (GSA), Mineralogy, Geochemistry, Petrology, Volcanology Division. MGPV Travel grants support student travel to the annual GSA meeting. Applications are restricted to active graduate or undergraduate students who are the presenting authors of an accepted abstract at the annual GSA meeting.
Research Opportunities in Space and Earth Science (ROSES) - 2025: A.4 Rapid Response and Novel Research in Earth Science is sponsored by National Aeronautics and Space Administration (NASA) Science Mission Directorate (SMD). This omnibus research funding opportunity includes various program elements, with rolling submissions for Earth Science research through August 2026. Proposers to Earth Science using the NASA Center for Climate Simulation high-end computing facility must include specific budget details.
TCUP lists eight funding tracks and roughly $10.3M a year, but the October 14, 2026 deadline applies to only three of them — CHAI, Pre-TI, and TCUP Partnerships — and each carries a restriction that disqualifies most applicants. Here is the track-by-track math.
Read articleNSF 26-513 makes roughly $100 million available for up to 10 State and Regional AI Infrastructure Hubs at $4M to $12M each over five years. One award per state or multi-state region. One proposal per organization. And NSF is not buying you GPUs — it funds the coordination, the workforce and the faculty training, while the compute has to come from partners you have to already have.
Read articleAs of September 12, NSF had obligated $6.3 billion across 6,200 grants versus $8.1 billion and 8,600 last year. AHRQ has made 61 awards. Judge Allison Burroughs ordered the government to report by September 28 on whether IES will obligate $180 million before it expires. Here is what actually happens to the money on October 1 — and what it means for your FY2027 application.
Read article