Correctness for Scientific Computing Systems

The summary for the Correctness for Scientific Computing Systems grant is detailed below. This summary states who is eligible for the grant, how much grant money will be awarded, current and past deadlines, Catalog of Federal Domestic Assistance (CFDA) numbers, and a sampling of similar government grants. Verify the accuracy of the data provides by visiting the webpage noted in the Link to Full Announcement section or by contacting the appropriate person listed as the Grant Announcement Contact. If any section is incomplete, please visit the website for the National Science Foundation, which is the U.S. government agency offering this grant.
Correctness for Scientific Computing Systems: 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.
Federal Grant Title: Correctness for Scientific Computing Systems
Federal Agency Name: National Science Foundation (NSF)
Grant Categories: Science and Technology and other Research and Development
Type of Opportunity: Discretionary
Funding Opportunity Number: 24-571
Type of Funding: Grant
CFDA Numbers: 47.070, 81.049
CFDA Descriptions: Information not provided
Current Application Deadline: August 13th, 2024
Original Application Deadline: August 13th, 2024
Posted Date: May 10th, 2024
Creation Date: May 10th, 2024
Archive Date: September 10th, 2026
Total Program Funding: $18,000,000
Maximum Federal Grant Award:
Minimum Federal Grant Award:
Expected Number of Awards:
Cost Sharing or Matching: No
Last Updated: May 10th, 2024
Applicants Eligible for this Grant
Others (see text field entitled "Additional Information on Eligibility" for clarification.)
Additional Information on Eligibility
*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.
Link to Full Grant Announcement
NSF Publication 24-571
Grant Announcement Contact
NSF support
[email protected]
If you have any problems linking to this funding announcement, please contact the email address above.
Similar Government Grants
Computer and Information Science and Engineering (CISE): Core Programs
Advanced Computing Systems & Services: Adapting to the Rapid Evolution of Science and Engi...
Computer and Information Science and Engineering (CISE): Core Programs, Large Projects
Computer Science for All
Improving Undergraduate STEM Education: Computing in Undergraduate Education
Science and Engineering Information Integration and Informatics (SEII)
Emerging Models and Technologies for Computation
Networking Technology and Systems (NeTS)
More Grants from the National Science Foundation
PFE: Research Initiation in Engineering Formation
Engineering Research Initiation
Computer and Information Science and Engineering (CISE): Core Programs
NSF EPSCoR Graduate Fellowship Program
Research on the Science and Technology Enterprise: Indicators, Statistics, and Methods (NC... is not endorsed by, or affiliated with, any government agency. Copyright ©2007-2024