Formal Methods in the Field

Active
Yes
Status
Posted
Published Date
November 22nd, 2023
Close Date
February 18th, 2025
Total Funding
$10,500,000.00
Award Floor
$10,500,000.00
Opportunity No.
24-509

Agency

National Science Foundation (NSF)

Eligible Applicants

Others

Funding Category

Science and Technology and other Research and Development

Funding Instrument

Grant

Opportunity Category

Discretionary

Cost Sharing or Matching Requirement

Yes

Summary

The National Science Foundation (NSF) has posted a grant opportunity titled "Formal Methods in the Field". This grant aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. The grant encourages collaboration between two groups of researchers. The first group consists of researchers in the area of formal methods, which includes principled approaches based on logic and mathematics for specification, modeling, design, analysis, implementation, abstraction, verification, synthesis, and optimization of systems, networks, and applications. The second group consists of researchers in various fields within computer and information science and engineering that would benefit from developing and applying formal methods in their research. The grant solicits three classes of proposals: 1. Track I: Research proposals: These proposals 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 should address fundamental contributions to both formal methods and the respective field(s) and include a proof of concept in the field, along with a detailed evaluation plan. Projects are limited to $1,000,000 in total budget, with durations of up to four years. 2. 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. These proposals should facilitate usability and accessibility to a larger and more diverse community of users. Projects are limited to $150,000 in total budget, with durations of up to two years. 3. Track III: Education proposals: The objective of this track is to support the development and dissemination of education material to increase the accessibility of formal methods. These proposals should develop new course material in formal methods either as a standalone course or as part of a course in a field area to which formal methods is applicable. Projects are limited to $250,000 in total budget, with durations of up to 36 months. For more information and to submit proposals, interested parties can visit the NSF Publication 24-509 at http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24509. The deadline for submission is February 18, 2025.

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 logic and mathematics to specification, modeling, design, analysis, implementation, abstraction, verification, synthesis, and optimization of systems, networks andapplications. Thesecond 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 would benefit from 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. The FMitF program solicits three 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 $1,000,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 formalmethods 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 $150,000 in total budget, with durations of up to two years. Track III: Educationproposals: Theobjective of this track is to support the development and dissemination of education material to increase the accessibility of formal methods. These proposals are expected to develop new course material in formal methods either as a standalone course or as part of a course in a field area to which formal methods is applicable. An education proposal must include a project plan that addresses disseminationefforts andarticulates the new communities that will be impacted through the effort. Collaborations with organizations that do not have strong formal methods education in the curriculum are strongly encouraged. Projects are limited to $250,000 in total budget, with durations of up to 36 months. The Project Description can be up to 15 pages for Track I proposals, and up to 7 pages for the Track II and Track III proposals.

Contact Information

Opportunity Lifecycle

Title
Type
Grant

Similar Opportunities

Artificial Intelligence, Formal Methods, and Mathematical Reasoning
National Science Foundation
The National Science Foundation is offering a grant opportunity titled "Artificial Intelligence, Formal Methods, and Mathematical Reasoning". This grant aims to support research at the intersection of innovative computational and artificial intelligence technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. The service/item being procured is research in machine-assisted mathematical reasoning, including conjecture, proof, and verification, using formal methods, interactive theorem provers, and techniques from artificial intelligence. This research has the potential to impact the field of artificial intelligence. The grant has an estimated total program funding of $6,000,000, with an award ceiling of $1,200,000. The expected number of awards is 10. The grant does not require cost sharing or matching. The eligibility to submit proposals is limited to non-profit, non-academic organizations directly associated with educational or research activities, as well as institutions of higher education accredited in the US. The proposal must be submitted by individuals holding a tenured or tenure-track position, or a primary, full-time, paid appointment in a research or teaching position at a US-based campus of an eligible organization. The closing date for this grant opportunity is June 3, 2024. For more information, you can visit the [NSF Publication 24-554](http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24554) webpage. For any issues or inquiries, you can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
Correctness for Scientific Computing Systems
National Science Foundation
The National Science Foundation (NSF) has posted a grant opportunity titled "Correctness for Scientific Computing Systems". This grant aims to elevate correctness as a fundamental requirement for scientific computing tools and tool chains. The program seeks to address challenges related to ensuring the absence of faulty behaviors in scientific computing systems, such as numerical rounding errors, data races, deadlocks, and memory faults. The grant emphasizes the need for proving correctness even in performant scientific computing systems and acknowledges the importance of probabilistic notions of correctness for applications dealing with uncertain data. The program requires close collaboration between researchers in scientific computing and formal reasoning and mechanized proving of properties of programs. The grant is open to non-profit, non-academic organizations associated with educational or research activities, as well as institutions of higher education. The deadline for proposal submission is August 13, 2024. For more information, visit the [NSF Publication 24-571](http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24571) webpage.
Foundations
National Science Foundation
The National Science Foundation is offering a grant opportunity titled "Foundations" in the category of Science and Technology and other Research and Development. This grant supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. The grant is a discretionary grant and does not require cost sharing or matching. The estimated total program funding is $2,300,000, with an expected number of 30 awards. The grant is open to unrestricted applicants. The deadline for submission is September 24, 2024. For more information and to apply, please visit the NSF Program Description website at http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=5548. If you have any problems or questions, please contact grantsgovsupport@nsf.gov.
Mathematical Foundations of Artificial Intelligence
National Science Foundation
The National Science Foundation is offering a grant titled "Mathematical Foundations of Artificial Intelligence". This grant aims to support research collaborations focused on the mathematical and theoretical foundations of AI. The service/item being procured is research activities that address the most challenging mathematical and theoretical questions related to AI. The grant seeks to establish a fundamental mathematical understanding of the capabilities and limitations of current and emerging generations of AI systems, develop mathematically grounded design and analysis principles for AI systems, and encourage new collaborations across interdisciplinary research communities. The grant provides funding of up to $1,500,000 with an estimated total program funding of $8,500,000. Non-profit organizations, independent museums, research laboratories, and institutions of higher education are eligible to submit proposals. The deadline for submission is October 10, 2024. For more information, visit the [NSF Publication 24-569](http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24569).