Formal Methods in the Field — U.S. National Science Foundation funding opportunity
U.S. National Science Foundation · Federal agency

Formal Methods in the Field

The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and rep...

86
match
Award $10.5M Deadline Fixed Location Alabama Type grant Level Federal Open posted Jun 6, 2025
✦ AI Summary
  • Who can apply: Federal-level applicants (see eligibility for details).
  • Funding amount: starting at $10,500,000.
  • Issued by: U.S. National Science Foundation.
Sign in to generate AI summary
How was this generated?

The “key facts” mode pulls structured fields directly from the official source posting (amount, deadline, eligibility tags). The AI mode adds a short plain-English narrative on top, generated from the same source. Always verify with the agency before applying.

AI-generated. Always verify with the official source.

Award amount
$10.5M
Deadline
Fixed
Total pool
$10.5M

About this opportunity

The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. FMitF encourages close collaboration between two groups of researchers. The first group consists of researchers in the area of formal methods, which, for the purposes of this solicitation, is broadly defined as principled approaches based on logic and mathematics to specification, modeling, design, analysis, implementation, abstraction, verification, synthesis, and optimization of systems, networks andapplications. Thesecond group consists of researchers in the “field,” which, for the purposes of this solicitation, is defined as any area within computer and information science and engineering that would benefit from developing and applying formal methods in their research. All proposals must make a strong case for why formal methods is appropriate for the field area. The FMitF program solicits three classes of proposals: Track I: Research proposals: Each proposal must have at least one Principal Investigator (PI) or co-PI with expertise in formal methods and at least one with expertise in the field area. Proposals are expected to address fundamental contributions to both formal methods and the respective field(s) and should include a proof of concept in the field along with a detailed evaluation plan that discusses intended scope of applicability, trade-offs, and limitations. Track I proposals must contain a detailed collaboration plan that clearly highlights and justifies the complementary expertise of the PIs/co-PIs in the designated areas and describes the mechanisms for continuous bi-directional interaction. Projects are limited to $1,000,000 in total budget, with durations of up to four years. Track II: Transition to Practice (TTP) proposals: The objective of this track is to support the ongoing development of extensible and robust formalmethods research prototypes/tools to facilitate usability and accessibility to a larger and more diverse community of users. These proposals are expected to support the development, implementation, and deployment of later-stage successful formal methods research and tools into operational environments in order to bridge the gap between research and practice. A TTP proposal must include a project plan that addresses major tasks and system development milestones as well as an evaluation plan for the working system. Proposals are expected to identify a target user community or organization that will serve as an early adopter of the technology. Collaborations with industry are strongly encouraged.Projects are limited to $150,000 in total budget, with durations of up to two years. Track III: Educationproposals: Theobjective of this track is to support the development and dissemination of education material to increase the accessibility of formal methods. These proposals are expected to develop new course material in formal methods either as a standalone course or as part of a course in a field area to which formal methods is applicable. An education proposal must include a project plan that addresses disseminationefforts andarticulates the new communities that will be impacted through the effort. Collaborations with organizations that do not have strong formal methods education in the curriculum are strongly encouraged. Projects are limited to $250,000 in total budget, with durations of up to 36 months. The Project Description can be up to 15 pages for Track I proposals, and up to 7 pages for the Track II and Track III proposals.

Funding agency

U.S. National Science Foundation
Federal agency
Want help applying?

Our specialists will check your eligibility, prepare the application, and walk you through every step — for free. Create a free account →

Who can apply

Eligibility details aren't on file yet — check the agency source link in the Documents tab for the latest rules.

Geographic eligibility

  • Alabama
  • Alaska
  • Arizona
  • Arkansas
  • California
  • Colorado
  • Connecticut
  • Delaware
  • Florida
  • Georgia
  • Hawaii
  • Idaho
  • Illinois
  • Indiana
  • Iowa
  • Kansas
  • Kentucky
  • Louisiana
  • Maine
  • Maryland
  • Massachusetts
  • Michigan
  • Minnesota
  • Mississippi
  • Missouri
  • Montana
  • Nebraska
  • Nevada
  • New Hampshire
  • New Jersey
  • New Mexico
  • New York
  • North Carolina
  • North Dakota
  • Ohio
  • Oklahoma
  • Oregon
  • Pennsylvania
  • Rhode Island
  • South Carolina
  • South Dakota
  • Tennessee
  • Texas
  • Utah
  • Vermont
  • Virginia
  • Washington
  • West Virginia
  • Wisconsin
  • Wyoming
  • District of Columbia

How to apply

We don't have application instructions on file yet — head straight to the official source.

Apply on agency site
Tip from our team:

Read the agency's eligibility checklist before you start — it's almost always shorter than the full NOFO and will tell you in 90 seconds whether to keep going.

Need help getting in touch with the right agency contact?

Create a free account and our specialists will guide you through the application end-to-end.

Source documents

View on agency site
Canonical NOFO, application packet, and forms
No supplemental documents yet.

Direct downloads (NOFO PDFs, application forms, FAQs) will appear here once our team attaches them. For now, the agency site has the canonical packet.

Citation details

Source systemgrants.gov
Source ID359504
PostedJun 6, 2025

Frequently asked questions

No FAQs yet.

Have a question about this fund? Sign in to open a ticket about this fund.

Similar grants

Construction & Housing
Transportation Department

Notice of Funding Opportunity for the Fiscal Year 2025 and 2026 Consolidated Rail Infrastructure and Safety Improvements Program

83
match

- **Who can apply:** Federal-level applicants (see eligibility for details). - **Issued by:** Transportation Department. - **About:** The Federal Railroad Administration has published a Notice of Funding Opportunity (…

Amount varies Rolling Nationwide, USA
Transportation & Logistics
Transportation Department

Notice of Funding Opportunity for the Fiscal Years 2025-2026 Federal-State Partnership for Intercity Passenger Rail Program for Projects Located on the Northeast Corridor (Partnership-NEC)

97
match

- **Who can apply:** Federal-level applicants (see eligibility for details). - **Issued by:** Transportation Department. - **About:** The Federal Railroad Administration has published a Notice of Funding Opportunity (…

Amount varies Rolling Nationwide, USA
Agriculture & Farming
Department of Resources Recycling and Recovery

Farm and Ranch Solid Waste Cleanup and Abatement Grant Program FR91

71
match

Purpose: The Farm & Ranch Solid Waste Clean Up & Abatement Grant program provides funding for cleaning up and preventing illegal dumping on agricultural properties (CCR, Section 17991(d)). Each fiscal year has four ap…

Amount varies Rolling California, USA
Nonprofit & Community
CA State Library

2026-2027 LSTA Digital Literacy and Access

68
match

Purpose: Public libraries provide access to digital resources and the skills to safely use those resources, which are key components of the Broadband for All Initiative . The goals of this opportunity are to help libr…

Amount varies Rolling California, USA
Apply on agency site