Formal Methods in the Field

The summary for the Formal Methods in the Field grant is detailed below. This summary states who is eligible for the grant, how much grant money will be awarded, current and past deadlines, Catalog of Federal Domestic Assistance (CFDA) numbers, and a sampling of similar government grants. Verify the accuracy of the data provides by visiting the webpage noted in the Link to Full Announcement section or by contacting the appropriate person listed as the Grant Announcement Contact. If any section is incomplete, please visit the website for the National Science Foundation, which is the U.S. government agency offering this grant.
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. Initially the program will limit the field to these four areas that stand to directly benefit from a grounding in formal methods: computer networks, cyber-human systems, machine learning, and operating/distributed systems. However other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds. Each proposal must have at least onePrincipal 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, machine learning, and operating/distributed systems. 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 in the designated areas, and describes the mechanisms for continuous bi-directional interaction.
Federal Grant Title: Formal Methods in the Field
Federal Agency Name: National Science Foundation (NSF)
Grant Categories: Science and Technology
Type of Opportunity: Discretionary
Funding Opportunity Number: 18-536
Type of Funding: Grant
CFDA Numbers: 47.070
CFDA Descriptions: Information not provided
Current Application Deadline: May 8th, 2018
Original Application Deadline: May 8th, 2018
Posted Date: February 8th, 2018
Creation Date: February 8th, 2018
Archive Date: June 7th, 2018
Total Program Funding: $8,000,000
Maximum Federal Grant Award:
Minimum Federal Grant Award: $8,000,000
Expected Number of Awards:
Cost Sharing or Matching: No
Last Updated: February 8th, 2018
Applicants Eligible for this Grant
Others (see text field entitled "Additional Information on Eligibility" for clarification.)
Additional Information on 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: PIs, co-PIs or other senior project personnel must hold primary and full-time paid appointments in research or teaching positions at US-based campuses/offices of eligible organizations. Each proposal 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, machine learning, and operating/distributed systems.
Link to Full Grant Announcement
NSF Publication 18-536
Grant Announcement Contact
NSF support

If you have any problems linking to this funding announcement, please contact
Similar Government Grants
Computer and Network Systems (CNS): Core Programs
Information and Intelligent Systems (IIS): Core Programs
Office of Advanced Cyberinfrastructure (OAC): Research Core Program
Computing and Communication Foundations (CCF): Core Programs
Smart and Autonomous Systems
Science and Engineering Information Integration and Informatics (SEII)
Emerging Models and Technologies for Computation
Networking Technology and Systems (NeTS)
More Grants from the National Science Foundation
Documenting Endangered Languages
Plant Genome Research Program
Enabling Quantum Leap: Convergent Accelerated Discovery Foundries for Quantum Materials Sc...
Windows On The Universe: The Era Of Multi-messenger Astrophysics
SOCIOLOGY PROGRAM - Doctoral Dissertation Research Improvement Awards is not endorsed by, or affiliated with, any government agency. Copyright ©2018