Government Grants
Business Grants
Home Owner Programs
Federal Programs
About Us
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 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 mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches.
The second group consists of researchers in the “field,” which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research.
This solicitation limits the field to the following areas that stand to directly benefit from a grounding in formal methods:
computer networks, cyber-human systems, distributed /operating systems, hybrid/dynamical systems, and machine learning.
Other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.
The FMitF program solicits two 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 one or more of these fields:
computer networks, cyber-human systems, distributed/operating systems, hybrid/dynamical systems, and machine learning.
Proposals are expected to address the 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.
All proposals are expected to 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 $750,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 $100,000 in total budget, with durations of up to 18 months.
The Project Description can be up to 15 pages for Track I proposals, and up to 7 pages for the Track II proposals.
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 mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches.
The second group consists of researchers in the “field,” which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research.
This solicitation limits the field to the following areas that stand to directly benefit from a grounding in formal methods:
computer networks, cyber-human systems, distributed /operating systems, hybrid/dynamical systems, and machine learning.
Other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.
The FMitF program solicits two 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 one or more of these fields:
computer networks, cyber-human systems, distributed/operating systems, hybrid/dynamical systems, and machine learning.
Proposals are expected to address the 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.
All proposals are expected to 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 $750,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 $100,000 in total budget, with durations of up to 18 months.
The Project Description can be up to 15 pages for Track I proposals, and up to 7 pages for the Track II proposals.
Agency: National Science Foundation
Office: National Science Foundation
Estimated Funding: $10,000,000
Office: National Science Foundation
Estimated Funding: $10,000,000
Who's Eligible
Relevant Nonprofit Program Categories
Obtain Full Opportunity Text:
NSF Publication 18-596
Additional Information of Eligibility:
*Who May Submit Proposals: Proposals may only be submitted by the following: -Non-profit, non-academic organizations: Independent museums, observatories, research labs, professional societies and similar organizations in the U. S. associated with educational or research activities.
-Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members.Special Instructions for International Branch Campuses of US IHEs: If the proposal includes funding to be provided to an international branch campus of a US institution of higher education (including through use of subawards and consultant arrangements), the proposer must explain the benefit(s) to the project of performance at the international branch campus, and justify why the project activities cannot be performed at the US campus.
*Who May Serve as PI: As of the submission deadline, PIs or co-PIs must hold primary, full-time, paid appointments in research or teaching positions at US-based campuses/offices of organizations eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting institution.
Individuals with primary appointments at for-profit, non-academic organizations, or overseas branch campuses of US IHEs are not eligible, even if they also have an appointment at a US campus of an IHE or non-profit, non-academic organization.
A project submitted to Track I must have at least one (co)-PI focusing on formal methods and at least one focusing on one or more of the field(s) named herein: computer networks, cyber-human systems, distributed/operating systems, hybrid/dynamical systems, and machine learning.
Full Opportunity Web Address:
http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf18596
Contact:
Agency Email Description:
If you have any problems linking to this funding announcement, please contact
Agency Email:
Date Posted:
2018-09-13
Application Due Date:
Archive Date:
2019-02-14
Social Entrepreneurship
Spotlight
A Bar That Saves Children’s Lives
Ryan Devlin, Todd Grinnell and Ravi Patel have traveled to Africa on a humanitarian trip a few years back, encountering children suffering from severe malnutrition get healthy through Plumpy’Nut®.
Learn How to Identify and Avoid Grant Scams
