Share on WhatsApp

Funding Opportunity




  Verified

Correctness for Scientific Computing Systems

U.S. National Science Foundation (NSF)

Program Title:

Correctness for Scientific Computing Systems (CS2)

Synopsis of Program:

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 predefined 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.

Award Information

Anticipated Type of Award: Standard Grant or Continuing Grant

Estimated Number of Awards: 5

Approximately 5 awards will be made each year in FY 2025, FY 2026, and FY 2027. Awards of up to $800,000 per award, exclusive of funding to DOE National Laboratories and their sub-recipients, with durations up to 4 years are anticipated, subject to availability of funds and quality of proposals received.

Anticipated Funding Amount: $18,000,000

$3M per year from NSF and $3M per year from DOE.

Estimated program budget, number of awards and average award size/duration are subject to the availability of funds and quality of proposals received.

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:

  • be a DOE National Laboratory employee; or
  • must hold either:
    • a tenured or tenure-track position, or
    • a primary, full-time paid appointment in a research or teaching position

Limit on Number of Proposals per Organization:

There are no restrictions or limits.

Eligible Countries:

Sponsor Institute/Organizations: U.S. National Science Foundation (NSF)

Sponsor Type: Government/Federal

Address: 2415 Eisenhower Ave Alexandria, VA 22314 (703) 292-5111

Affiliation Disclaimer: Trialect operates independently and is not affiliated with, endorsed by, or supported by any sponsors or organizations posting on the GrantsBoard platform. As an independent aggregator of publicly available funding opportunities, Trialect provides equal access to information for all users without endorsing any specific funding source, content, organization, or sponsor. Trialect assumes no responsibility for the content posted by sponsors or third parties.

Subscription Disclaimer: Upon logging into Trialect, you may choose to SUBSCRIBE to GrantsBoard for timely notifications of funding opportunities and to access exclusive benefits, such as priority alerts, reminders, personalized recommendations, and additional application support. However, users are advised to contact sponsors directly for any questions and are not required to subscribe to engage with funding opportunities.

Content Ownership and Copyright Disclaimer: Trialect respects the intellectual property rights of all organizations and individuals. All content posted on GrantsBoard is provided solely for informational purposes and remains the property of the original owners. Trialect does not claim ownership of, nor does it have any proprietary interest in, content provided by third-party sponsors. Users are encouraged to verify content and ownership directly with the posting sponsor.

Fair Use Disclaimer: The information and content available on GrantsBoard are compiled from publicly accessible sources in alignment with fair use principles under U.S. copyright law. Trialect serves as an aggregator of this content, offering it to users in good faith and with the understanding that it is available for public dissemination. Any organization or individual who believes their intellectual property rights have been violated is encouraged to contact us for prompt resolution.

Third-Party Posting Responsibility Disclaimer: Trialect is a neutral platform that allows third-party sponsors to post funding opportunities for informational purposes only. Sponsors are solely responsible for ensuring that their postings comply with copyright, trademark, and other intellectual property laws. Trialect assumes no liability for any copyright or intellectual property infringements in third-party content and will take appropriate action to address any substantiated claims.

Accuracy and Verification Disclaimer: Trialect makes no warranties regarding the accuracy, completeness, or reliability of the information provided by sponsors. Users are advised to verify the details of any funding opportunity directly with the sponsor before taking action. Trialect cannot be held liable for any discrepancies, omissions, or inaccuracies in third-party postings.

Notice and Takedown Policy: Trialect is committed to upholding copyright law and protecting the rights of intellectual property owners. If you believe that content on GrantsBoard infringes your copyright or intellectual property rights, please contact us with detailed information about the claim. Upon receipt of a valid notice, Trialect will promptly investigate and, where appropriate, remove or disable access to the infringing content.

Grant

Letter Of Intent Deadline:

Aug 12, 2025

Final Deadline:

Aug 12, 2025

Funding Amount:

$18,000,000

5 awards available.

Similar Funding Opportunities

Browse similar funding opportunities

Activity Logs

There are 2 new tasks for you in “AirPlus Mobile App” project:
Added at 4:23 PM by
img
Meeting with customer
Application Design
img
img
A
In Progress
View
Project Delivery Preparation
CRM System Development
img
B
Completed
View
Invitation for crafting engaging designs that speak human workshop
Sent at 4:23 PM by
img
Task #45890merged with #45890in “Ads Pro Admin Dashboard project:
Initiated at 4:23 PM by
img
3 new application design concepts added:
Created at 4:23 PM by
img
New case #67890is assigned to you in Multi-platform Database Design project
Added at 4:23 PM by
Alice Tan
You have received a new order:
Placed at 5:05 AM by
img

Database Backup Process Completed!

Login into Admin Dashboard to make sure the data integrity is OK
Proceed
New order #67890is placed for Workshow Planning & Budget Estimation
Placed at 4:23 PM by
Jimmy Bold
Pic
Brian Cox 2 mins
How likely are you to recommend our company to your friends and family ?
5 mins You
Pic
Hey there, we’re just writing to let you know that you’ve been subscribed to a repository on GitHub.
Pic
Brian Cox 1 Hour
Ok, Understood!
2 Hours You
Pic
You’ll receive notifications for all issues, pull requests!
Pic
Brian Cox 3 Hours
You can unwatch this repository immediately by clicking here: https://trialect.com
4 Hours You
Pic
Most purchased Business courses during this sale!
Pic
Brian Cox 5 Hours
Company BBQ to celebrate the last quater achievements and goals. Food and drinks provided
Just now You
Pic
Pic
Brian Cox Just now
Right before vacation season we have the next Big Deal for you.

Shopping Cart

Iblender The best kitchen gadget in 2022
$ 350 for 5
SmartCleaner Smart tool for cooking
$ 650 for 4
CameraMaxr Professional camera for edge
$ 150 for 3
$D Printer Manfactoring unique objekts
$ 1450 for 7
MotionWire Perfect animation tool
$ 650 for 7
Samsung Profile info,Timeline etc
$ 720 for 6
$D Printer Manfactoring unique objekts
$ 430 for 8