1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
Formal Methods in the Field (FMitF) - Track I: Research proposals is sponsored by NSF - U.S. National Science Foundation. This 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 app…
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
Formal Methods in the Field (FMitF) | NSF - U.S. National Science Foundation Formal Methods in the Field (FMitF) Archived funding opportunity This document has been archived. Important information for proposers and award recipients All proposals must be submitted in accordance with the requirements specified in the funding opportunity and in the Proposal & Award Policies & Procedures Guide (PAPPG) and its supplements .
All NSF grants and cooperative agreements are subject to the applicable set of NSF award terms and conditions . NSF has updated its research security policies for NSF funded projects. Supports collaborative research to develop methodologies for designing and implementing correct-by-construction computational and communication systems and applications.
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 and applications.
The second 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 formal methods 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 : Education proposals: The objective 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 dissemination efforts and articulates 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 .
Program Director, CISE/CCF Program Director, CISE/CNS Program Director, CISE/CCF Program Director, CISE/CCF Program Director, CISE/IIS Program Director, CISE/CNS Program Director, CISE/IIS Program Director, CISE/CNS Additional program resources Awards made through this program Browse projects funded by this program Map of recent awards made through this program Directorate for Computer and Information Science and Engineering (CISE) Division of Computing and Communication Foundations (CISE/CCF) Division of Computer and Network Systems (CISE/CNS) Division of Information and Intelligent Systems (CISE/IIS)
According to the current listing, eligibility includes: 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. Confirm the full requirements in the official notice before applying.
The current listing shows up to $1,000,000. Verify award ceilings, matching requirements, and allowable costs in the official notice.
Formal Methods in the Field (FMitF) - Track I: Research proposals is funded by NSF - U.S. National Science Foundation. Verify program details on the funder's official page before applying.
Start from the official opportunity page linked in this listing — it carries the sponsor's submission instructions.
TCUP lists eight funding tracks and roughly $10.3M a year, but the October 14, 2026 deadline applies to only three of them — CHAI, Pre-TI, and TCUP Partnerships — and each carries a restriction that disqualifies most applicants. Here is the track-by-track math.
Read articleNSF 26-513 makes roughly $100 million available for up to 10 State and Regional AI Infrastructure Hubs at $4M to $12M each over five years. One award per state or multi-state region. One proposal per organization. And NSF is not buying you GPUs — it funds the coordination, the workforce and the faculty training, while the compute has to come from partners you have to already have.
Read articleAs of September 12, NSF had obligated $6.3 billion across 6,200 grants versus $8.1 billion and 8,600 last year. AHRQ has made 61 awards. Judge Allison Burroughs ordered the government to report by September 28 on whether IES will obligate $180 million before it expires. Here is what actually happens to the money on October 1 — and what it means for your FY2027 application.
Read article