Trialect

+ More Filters

Reset Filters

Title

Funding Organization

Funding Type

Eligible Country

Deadline

Other (Select all that apply)

Show Expired Programs

Show Verified Programs

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.

Specialties

Others

Eligibility Requirements

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:

United States

Sponsor Details

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

Sponsor Type: Government/Federal

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

Legal & Affiliation Disclaimer

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.

View Funding Opportunity