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.