CS2: NSF-DOE funding to improve correctness in scientific computing software and hardware
The NSF/DOE Correctness for Scientific Computing Systems (CS2) program funds research that makes scientific computing tools reliable as well as fast. It supports work on verifying correctness of software and hardware, including program analyses, formal proofs, runtime verification, concurrency and memory safety, and probabilistic correctness for statistical or uncertain applications. Projects …
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 progra…
Funding Source
Awards & funding
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…
Supporting links
Secure Grant Funding 10x Faster
Scout delivers AI-powered grant writing paired with experts that's faster, more affordable, and built to win.
Already have an account? Sign In
Trusted by 500+ Happy Customers