Scout | Formal Methods in the Field

This opportunity is no longer accepting applications.

grant

Formal Methods in the Field

The Formal Methods in the Field (FMitF) program supports collaborative research between formal methods experts and other computer and information science/engineering fields to develop reliable, provable systems. It offers three proposal tracks:

Research Proposals (Track I): Requires collaboration between formal methods and applicable field experts, with a focu…

Source

Agency: National Science Foundation

Program: SBIR

Award

Total Funding: $10.5M

Award Floor: $10.5M

Dates

Opportunity Released: November 22, 2023

Open for Submission: November 22, 2023

Submission Deadline: February 18, 2025

Application Window Closes: February 18, 2025

Keywords

1. formal methods 2. computer science 3. information science 4. engineering 5. system design 6. collaboration 7. verification 8. prototyping 9. education material 10. usability

Supporting Links

Documents

Similar Opportunities

Unlock similar opportunities

Get the full picture on this opportunity

Create a free Scout account to unlock everything you need to decide fast and win the grant.

Instant Fit Analysis

Let our grant expert AI score how well this opportunity aligns with your organization, strengths, gaps, and how to improve your chances of winning funding.
Deep agency & funder detail

Program context, sub-agency structure, and a full eligibility breakdown.
Source links & full documents

Jump straight to the solicitation and download every attachment.
Similar opportunities

Discover related funding matched to your work.

Get a Demo Sign Up

Already have an account? Sign In

Trusted by 500+ Happy Customers