Search Grant Opportunities

Formal Methods in the Field

ID: 22-618 • Type: Posted

Description

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 to system modeling, specification, design, analysis, verification, and synthesis. 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 currently does not benefit from having established communities already 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, and why it is one that does not currently benefit from formal methods. 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 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 $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.
Show All

Overview

Agency
National Science Foundation (NSF)
Category of Funding
Science and Technology and other Research and Development
Funding Instruments
Grant
Grant Program (CFDA)
47.070 - Computer and Information Science and Engineering
Grant Category
Discretionary
Cost Sharing / Matching Requirement
False
Source
Grants.gov
On 7/27/22 National Science Foundation posted grant opportunity 22-618 for Formal Methods in the Field with funding of $10.0 million. The grant will be issued under grant program 47.070 Computer and Information Science and Engineering.

Timing

Posted Date
July 27, 2022, 12:00 a.m. EDT
Closing Date
Feb. 15, 2023, 12:00 a.m. EST Past Due
Last Updated
Jan. 28, 2023, 1:37 a.m. EST
Version
2
Archive Date
March 17, 2023

Eligibility

Eligible Applicants
Others (see text field entitled "Additional Information on Eligibility" for clarification)
Additional Info
*Who May Submit Proposals: Proposals may only be submitted by the following: -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly 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: By the submission deadline, any PI, co-PI, or other senior project personnel must hold either: <ul> <li>a tenured or tenure-track position, or</li> <li>a primary, full-time, paid appointment in a research or teaching position</li> </ul> at a US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible. A project submitted to Track I must have at least one (co)-PI focusing on formal methods and at least one focusing on another area within computer and information science and engineering.

Award Sizing

Ceiling
Not Listed
Floor
$750,000
Estimated Program Funding
$10,000,000
Estimated Number of Grants
Not Listed

Contacts

Contact
National Science Foundation
Contact Email
grantsgovsupport@nsf.gov
Email Description
If you have any problems linking to this funding announcement, please contact the email address above.
Contact Phone
(703) 292-4261
Additional Information
NSF Publication 22-618
Additional Information Site
http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf22618

Documents

Posted documents for 22-618

Grant Awards

Grants awarded through 22-618

Incumbent or Similar Grants

Similar Active Opportunities

Open grant opportunities similar to 22-618