Closed · 24-509 · CFDA 47.070 · Discretionary
Formal Methods in the Field
Federal grant opportunity posted by U.S. National Science Foundation, cataloged on Grants.gov.
- $10.5M+
- Award range
- Closed
- Status
- -
- Close date
- -
- Expected awards
The verdict
Formal Methods in the Field is a closed discretionary listing from U.S. National Science Foundation that offered $10,500,000 or more. Future funding cycles may be published under the same CFDA number.
- $10.5M+
- award range
- Closed
- application status
- 47.070
- CFDA program
Opportunity snapshot. This Grants.gov announcement - Formal Methods in the Field - is cataloged under number 24-509 and tied to CFDA assistance listing 47.070, posted by U.S. National Science Foundation. Grants.gov currently shows the opportunity as closed, first posted on June 6, 2025. The funding category is Discretionary, delivered as a grant.
Award economics. The award range on file is $10,500,000 or more. The agency has projected $10.5 million in total estimated funding for this announcement. Cost sharing is not required, so applicants do not need to commit matching funds to be competitive on this opportunity. Federal award ranges are often upper bounds; actual allocations reflect program appropriations, the strength of the applicant pool, and the evaluation committee's scoring.
Deadline and action path. This opportunity is closed. Monitoring the parent program page is the most reliable way to catch re-announcements in the next funding cycle. Every Grants.gov submission requires an active SAM.gov registration and a Unique Entity ID. Review the Eligibility section below carefully, federal eligibility categories (nonprofit, state or local government, tribal, individual, educational institution, small business) have distinct registration and reporting requirements. Pre-application outreach to the listed agency contact is permitted and often welcomed, it helps clarify scope and scoring priorities. Before acting on the deadline or award figures above, verify them directly on the official Grants.gov listing, amendments can change dates and amounts after this page was last refreshed.
Award Range
$10,500,000 or more
Close Date
Not specified
Opportunity is Archived
Posted
June 6, 2025
Est. Total Funding
$10,500,000
Instrument
Grant
Description
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.
Eligibility
Grants.gov lists this opportunity under eligibility category code 25. These codes correspond to applicant types (state/local government, tribal organization, nonprofit, educational institution, individual, small business, etc.) defined in Grants.gov's own eligibility reference. See the current Grants.gov eligibility categories or check the official listing below for this opportunity's exact eligibility statement.
Official Listing on Grants.gov
View full details, application forms, and submission instructions.
Parent Grant Program
Computer and Information Science and Engineering
National Science Foundation
Agency Contact
NSF grants.gov support grantsgovsupport@nsf.gov
Key Dates
Frequently Asked Questions
What is this grant opportunity?
Is this opportunity still open?
How much funding is available?
How do I apply?
More from U.S. National Science Foundation
TechAccess: AI-Ready America
National Science Foundation Fostering Interdisciplinary Networks to Develop Emergent and Responsive Solutions Foundry
Pathways to Enable Secure Open-Source Ecosystems
National Quantum and Nanotechnology Infrastructure
Postdoctoral Research Fellowships in Biology
Disclaimer: This information is sourced from Grants.gov and SAM.gov and is for informational purposes only. Opportunity details, deadlines, and eligibility requirements change frequently. Always verify current information directly on Grants.gov before applying. PlainGrants is not affiliated with any federal agency.
Read our methodology - how this data is sourced, computed, and verified.
Related
| Publisher | PlainGrants |
| Sources | the SAM.gov Assistance Listings and Grants.gov |