Correctness for Scientific Computing Systems (CS2)

This joint NSF-DOE program supports research that makes scientific computing tools and workflows fundamentally correct, addressing faults such as numerical errors, data races, deadlocks, memory faults, and specification violations. It funds work that develops correctness proofs, static and runtime analyses, and methods that place correctness on par with performance.

Amount: Not stated
Type: Program

Key facts

Key facts for Correctness for Scientific Computing Systems (CS2)
Amount	Not stated
Issuer	National Science Foundation
Who can apply	See the official page
Deadline	Closed 11 Aug 2026

Unlock application details

See all eligibility criteria, required documents and the official application link. Free account, no card.

Update history

Source: nsf.gov ↗

Source checked 40 days ago

91 days agoagentImported from the official source

Opportunities with the same funding type or region
Cooperative Agreement for affiliated Partner with Alaska Cooperative Ecosystem Studies Unit	up to $234,460	Closes 07 Dec 2026
Cooperative Agreement for affiliated Partner with Colorado Plateau Cooperative Ecosystem Studies Unit	up to $150,000	Closes 07 Dec 2026
Cooperative Agreement for affiliated Partner with Rocky Mountain Cooperative Ecosystem Studies Unit	up to $145,220	Closes 07 Dec 2026