1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
This listing may be outdated. Verify details at the official source before applying.
Find similar grantsCorrectness for Scientific Computing Systems (CS2) is sponsored by NSF CISE/CCF. Supports research focused on correctness in scientific computing tools and tool chains, including stochastic reasoning and related topics.
Get alerted about grants like this
Get emailed when new opportunities from “NSF CISE/CCF” or related funders appear. Free, weekly, 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)
According to the current listing, eligibility includes: Universities, Nonprofits, For-profits, State/local governments. Confirm the full requirements in the official notice before applying.
The current listing shows up to $800,000 per award. Verify award ceilings, matching requirements, and allowable costs in the official notice.
Applications for Correctness for Scientific Computing Systems (CS2) are due August 11, 2026. Build your timeline backwards from this date to cover registrations, approvals, and final submission checks.
Correctness for Scientific Computing Systems (CS2) is funded by NSF CISE/CCF. Verify program details on the funder's official page before applying.
Start from the official opportunity page linked in this listing — it carries the sponsor's submission instructions.
NVIDIA Graduate Fellowship Program is a grant from NVIDIA providing up to $60,000 per award to PhD students conducting research that advances accelerated computing and its applications. Now in its 25th year, the program invites nominations from doctoral students pushing the boundaries of artificial intelligence, robotics, autonomous vehicles, and related fields. Recipients receive not only research funding but also access to NVIDIA technology, products, and engineering expertise, along with a mandatory in-person summer internship. Students are nominated by their faculty advisors and selected based on academic achievement and research area alignment.
CalSEED Concept Award is a grant from the California Energy Commission that provides $150,000 in funding to early-stage clean energy innovators in California. The program targets individuals, businesses, and nonprofits developing hardware, software, or integrated solutions at Technology Readiness Levels 2-4. Eligible technology areas rotate each cycle and have included battery recycling and reuse, long-duration energy storage, medium- and heavy-duty vehicle electrification, industrial electrification, and advanced EV charging. Applicants must be located in California, have under $1 million in private funding, and propose innovations that benefit California ratepayers. Concept Award winners also receive professional development resources and access to accelerator programs, and may compete for a subsequent $450,000 Prototype Award.
Announced August 4, 2026, NSF 26-513 will fund up to 10 State and Regional AI Infrastructure Hubs at $4-12M each over five years. It is a cooperative-agreement, public-private consortium model designed to put frontier compute in the hands of researchers outside the elite institutions. Here is how the program is structured, who can lead, and how to build a competitive consortium before the November 4 deadline.
Read articleThe RFI closed June 22. Now the forum is standing up. AI Forge is a jointly governed, university-led venture funding interpretability, control, and adversarial robustness in one-year Project Ventures — here's how the 15 challenges, the CAISI tie, and the nonprofit administrator reshape who gets funded.
Read articleIn January 2026, DOE Policy Flash PF-2026-30 wiped out every 15% and 10% indirect cost cap the administration had imposed in 2025 — because H.R. 6938 ordered it to. The same law froze indirect policy at NSF, Commerce and NASA. But OMB's sweeping new grants rule quietly reopens the fight through the back door. Here is what changed, what money recipients can claw back, and how to protect your indirect recovery going forward.
Read article