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 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 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. CS2 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.
Funding Opportunity Number: 24-571. Assistance Listing: 47.070,81.049. Funding Instrument: G. Category: ST. Award Amount: $18M total program funding.
Get alerted about grants like this
Get emailed when new opportunities from “U.S. National Science Foundation” or related funders appear. Free, weekly, unsubscribe anytime.
Or search similar grants →According to the current listing, eligibility includes: Eligible applicants: Others (see text field entitled Additional Information on Eligibility for clarification). *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. - <span>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.</span> <ul> <li>DOE National Laboratories.</li> </ul> *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: <ul> <li> a tenured or tenure-track position, or</li> </ul> <ul> <li> a primary, full-time paid appointment in a research or teaching position</li> </ul> at a US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible. A project must have at least one (co)-PI with expertise in scientific computing and at least one (co)-PI with expertise in formal reasoning and mechanized proving of properties of programs. Confirm the full requirements in the official notice before applying.
The current listing shows $18M total program funding. Verify award ceilings, matching requirements, and allowable costs in the official notice.
Applications for Correctness for Scientific Computing Systems are due August 11, 2026. Build your timeline backwards from this date to cover registrations, approvals, and final submission checks.
Yes — Correctness for Scientific Computing Systems is offered by U.S. National Science Foundation and this listing comes from Grants.gov, an official U.S. federal source. Federal applications generally require registrations (for example SAM.gov or an agency submission portal), so allow extra lead time.
Start from the official opportunity page linked in this listing — it carries the sponsor's submission instructions.
Past winners and funding trends for this program
The UKRI Policy Fellowships 2025, funded by the Economic and Social Research Council, offer 18-month placements for academics to co-design research with UK government and What Works Network host organizations. Awards range from £180,000 to £280,000 and support three fellowship tracks: core policy fellows, Natural Hazards and Resilience policy fellows, and What Works Innovation fellows. Applicants must hold a PhD or equivalent research experience, be based at a UKRI-eligible UK organization, and possess relevant subject matter or methodological expertise. Government-hosted positions target early to mid-career academics, while What Works fellowships welcome all career stages. Fellows work directly with policymakers to bridge academic research and policy development on pressing national and global challenges. The application deadline is July 15, 2025.
The Smart Data Research UK Fellowships provide up to £200,000 per project for researchers using smart data to address real-world challenges across the United Kingdom. Funded by UKRI through Smart Data Research UK, this program supports up to ten projects lasting 18 months, with start dates by February 2026. Applicants must be based at eligible UK organizations and demonstrate strong data skills with a compelling research question aligned to one of four SDR UK themes: productivity and prosperity, health and wellbeing, sustainability, or communities and places. Researchers at all career stages may apply, with early career researchers particularly encouraged. Projects may use smart datasets from SDR UK's six national data services or combine smart data with administrative and survey data sources.
NSF's TechAccess: AI-Ready America commits up to $224 million to build one AI-readiness coordination hub in every state, DC, and U.S. territory. Round 1 closed July 16, 2026 — but Rounds 2 and 3 are still open, and most states are still up for grabs. Here is how the hub structure works, who is eligible, why cost sharing is banned, and how to position an institution to own its state's hub.
Read articleNSF just put $83 million into six national-scale data systems through its Integrated Data Systems and Services program — the plumbing that makes AI-for-science actually work. Here is who won, how the three-category structure (national-scale, transition, planning) really functions, why the Category III planning grant is the on-ramp most teams should be aiming at, and how to build readiness before the next fourth-Tuesday-in-July deadline.
Read articleNSF's new AI Datasets solicitation puts up to $100 million behind a specific bet: that the bottleneck in AI-for-science is not models but data. Here is how the three award tiers work — Flagship up to $5M, Impact up to $2M, Planning up to $200K — who is eligible, why voluntary cost sharing is banned, and how to build a proposal that survives review before the November 4, 2026 deadline.
Read article