Correctness for Scientific Computing Systems
CS2 grant program by NSF & DOE elevates correctness as a key requirement for scientific computing systems, focusing on behavioral properties and eliminating faulty behaviors in tools, simulations, and workflows.
Funder: U.S. National Science Foundation
Due Dates: August 13, 2024 | August 12, 2025 | August 11, 2026
Funding Amounts: Up to $800,000 per award (up to 4 years); approx. 5 awards/year; total program funding $18M
Summary: Supports interdisciplinary research to advance modular, end-to-end, and machine-checked correctness in scientific computing systems.
Key Information: Proposals must include both scientific computing and formal reasoning expertise; strict eligibility and participation limits apply.
Description
This NSF/DOE joint program aims to elevate correctness as a fundamental requirement in scientific computing systems, placing it on equal footing with performance. The program solicits research that advances general theories, principles, and methodologies for verified scientific computing, spanning low-level libraries to complex simulations and workflows. Projects must address correctness at both software and hardware levels, targeting issues such as numerical errors, concurrency faults, and specification violations. The program requires close collaboration between experts in scientific computing and in formal reasoning/mechanized program verification.
