Funder: U.S. National Science Foundation

Due Dates: February 18, 2025 (Full proposal; third Tuesday in February annually)

Funding Amounts: Up to $1,000,000 (Track I, up to 4 years) | Up to $150,000 (Track II, up to 2 years) | Up to $250,000 (Track III, up to 3 years); total program funding ~$10.5M/year

Summary: Supports collaborative research and education projects that integrate formal methods with other areas of computer and information science and engineering to design correct-by-construction systems with provable guarantees.

Key Information: Proposals must include both formal methods and a relevant field area; strict eligibility and participation limits per track.