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
Award
Dates
Keywords
Supporting Links
Documents
Similar Opportunities
-
Mathematical Sciences Infrastructure Program
National Science Foundation
-
Computational and Data-Enabled Science and Engineering (CDS&E)
National Science Foundation
-
Training-based Workforce Development for Advanced Cyberinfrastructure (CyberTraining)
National Science Foundation
-
Major Research Instrumentation Program
National Science Foundation
-
Process Systems, Reaction Engineering, and Molecular Thermodynamics
National Science Foundation
Find tens of thousands more opportunities — free
Scout accounts are free. Sign up to browse the full funding database, unlock the solicitation links and documents for this opportunity, and see how well each one fits your organization.
-
Tens of thousands of funding opportunities
Search and filter every grant and solicitation in Scout — all free, no credit card required.
-
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.
-
Source links & full documents
Jump straight to the solicitation and download every attachment.
-
Save opportunities & track deadlines
Keep the opportunities that fit in one place and stay ahead of every due date.
Already have an account? Sign In
Trusted by 500+ Happy Customers