Funder: 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); ~5 awards/year; total program ~$18M over 3 years
Summary: Supports collaborative research to advance formal correctness in scientific computing systems, elevating correctness to a core requirement alongside performance.
Key Information: Proposals must include both scientific computing and formal methods expertise; strict PI/award participation limits apply.