Formal Methods in the Field (FMitF)

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.

Awards made through this program

Browse projects funded by this program

Map of recent awards made through this program

Program status: Archived

Program 19-613 was archived.

Program guidelines

Previous guidelines NSF 19-613

Published:

September 24, 2019

Formal Methods in the Field (FMitF)

Status: Archived

Archived funding opportunity

NSF's implementation of the revised 2 CFR

Important information for proposers

Updates to NSF Research Security Policies

Awards made through this program

Formal Methods in the Field (FMitF)

Status: Archived

Archived funding opportunity

NSF's implementation of the revised 2 CFR

Important information for proposers

Updates to NSF Research Security Policies

Awards made through this program

Organization(s)