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) is an archived grant program from the National Science Foundation (NSF) that funded the integration of formal methods — mathematical techniques for specifying and verifying software and hardware — into real-world computing systems and applications.
Awards of up to $750,000 supported collaborative projects between formal methods researchers and practitioners in fields such as security, distributed systems, AI, and programming languages. Eligible applicants included universities, nonprofits, state and local governments, and for-profit organizations.
While this funding opportunity has been archived, it reflects NSF's long-term interest in bringing rigorous verification techniques into practical software engineering.
Get alerted about grants like this
Save a search for “NSF” or related topics and get emailed when new opportunities appear.
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. NSF's implementation of the revised 2 CFR NSF Financial Assistance awards (grants and cooperative agreements) made on or after October 1, 2024, will be subject to the applicable set of award conditions, dated October 1, 2024, available on the NSF website .
These terms and conditions are consistent with the revised guidance specified in the OMB Guidance for Federal Financial Assistance published in the Federal Register on April 22, 2024.
Important information for proposers All proposals must be submitted in accordance with the requirements specified in this funding opportunity and in the NSF Proposal & Award Policies & Procedures Guide (PAPPG) that is in effect for the relevant due date to which the proposal is being submitted. It is the responsibility of the proposer to ensure that the proposal meets these requirements.
Submitting a proposal prior to a specified deadline does not negate this requirement.
Updates to NSF Research Security Policies On July 10, 2025, NSF issued an Important Notice providing updates to the agency's research security policies, including a research security training requirement, Malign Foreign Talent Recruitment Program annual certification requirement, prohibition on Confucius institutes and an updated FFDR reporting and submission timeline.
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)
Based on current listing details, eligibility includes: Universities, Nonprofits, State/local governments, For-profit organizations Applicants should confirm final requirements in the official notice before submission.
Current published award information indicates Up to $750,000 Always verify allowable costs, matching requirements, and funding caps directly in the sponsor documentation.
The current target date is rolling deadlines or periodic funding windows. Build your timeline backwards from this date to cover registrations, approvals, attachments, and final submission checks.
Federal grant success rates typically range from 10-30%, varying by agency and program. Build a strong proposal with clear objectives, measurable outcomes, and a well-justified budget to improve your chances.
Requirements vary by sponsor, but typically include a project narrative, budget justification, organizational capability statement, and key personnel CVs. Check the official notice for the complete list of required attachments.
Yes — AI tools like Granted can help research funders, draft proposal sections, and check compliance. However, always review and customize AI-generated content to reflect your organization's unique strengths and the specific requirements of the solicitation.
Review timelines vary by funder. Federal agencies typically take 3-6 months from submission to award notification. Foundation grants may be faster, often 1-3 months. Check the program's timeline in the official solicitation for specific dates.
Many federal programs offer multi-year funding or allow competitive renewals. Check the official solicitation for continuation and renewal policies. Non-competing continuation applications are common for multi-year awards.
Agricultural Technologies (AG) - NSF SBIR/STTR is sponsored by National Science Foundation (NSF). The Agricultural Technologies topic supports innovations enabling farm production ecosystems that support the proper utilization of natural resources. Such technologies may encompass systems-level and multidisciplinary solutions to enable complex agricultural practices that support increased biodiversity balanced with yield production. Sub-topics include food waste mitigation, resilient supply & distribution, and other agricultural technologies.
Fire Science Innovations through Research and Education (FIRE) program is sponsored by National Science Foundation (NSF). This program invites innovative multidisciplinary and multisector investigations focused on convergent research and education activities in wildland fire. It supports research that can inform risk management and response, adaptation, and resilience across infrastructures, communities, cultures, and natural environments. Relevant topics include developing novel materials and methods for retrofitting existing buildings and remediating buildings following wildfire and smoke events.
Research on Circular Economy, Smart Manufacturing, and Energy-Efficient Microelectronics is sponsored by U.S. Department of Energy (DOE) Advanced Materials & Manufacturing Technologies Office (AMMTO). This funding opportunity supports innovative technology R&D across the manufacturing sector with a focus on circular economy, smart manufacturing, and energy-efficient microelectronics. While the stated deadline for full applications has passed, AMMTO frequently issues similar solicitations, and this highlights a relevant area of interest for the DOE.
AWS Imagine Grant program - Momentum to Modernize Award is sponsored by Amazon Web Services (AWS). This award provides funding for transformational infrastructure projects, helping nonprofit organizations enhance their core mission operations with technology. This includes foundational technology projects, such as migrating servers to the cloud and modernizing new and existing applications.
NIST AI-Focused Manufacturing USA Institute is sponsored by National Institute of Standards and Technology (NIST). NIST announced an open competition for a new Manufacturing USA institute focused on the use of artificial intelligence (AI) to increase the resilience of U.S. manufacturers. The institute will be required to obtain cost-share funds from nonfederal sources.
NSF 26-507 establishes a new $8.5M K-12 AI education research-to-prototype pipeline with 50 Planning grants ($50K, 2 months) feeding 20 Development grants ($300K, 1 year). The mandatory team composition — K-12 educators, technologists, researchers, and parents/guardians — is a structural break from how NSF has historically funded education research.
Read articleThe National Science Foundation reopened SBIR/STTR with $250M, a July 27 first deadline, $305K Phase I, $1.25M Phase II, and a new $40M scientific instrumentation pilot. Plus the $30M Strategic Breakthrough award. A strategic deep dive for deep-tech startups.
Read articleTennessee's $206.9M RHTP allocation begins distribution with a 30-day virtual maternal/child mental health consultation grant. The state plans a new opportunity every Friday — the cadence and structure here are the blueprint for how the $50B nationwide program rolls out.
Read article