Formal Methods in the Field
ID: 351091Type: Posted
Overview

Buyer

National Science Foundation (NSF)

Award Range

$11M - $0

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

Original Source

https://grants.gov/search-results-detail/351091

Additional Information

http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24509
Timeline
  1. 1
    Forecast Posted Not available
  2. 2
    Forecast Due Not available
  3. 3
    Posted Nov 22, 2023 12:00 AM
  4. 4
    Due Feb 18, 2025 12:00 AM
Description

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.

Point(s) of Contact
grantsgovsupport@nsf.gov
Files
No associated files provided.
Similar Opportunities
Correctness for Scientific Computing Systems
Active
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
Active
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.
Computer and Information Science and Engineering (CISE): Core Programs, Large Projects
Active
National Science Foundation
The National Science Foundation (NSF) is offering a grant opportunity titled "Computer and Information Science and Engineering (CISE): Core Programs, Large Projects". This grant aims to support research and education projects in the field of computing, communications, and information science and engineering. The grant is focused on developing new knowledge and tackling ambitious fundamental research problems. The grant is open to non-profit, non-academic organizations such as independent museums, observatories, research laboratories, and professional societies located in the U.S. that are directly associated with educational or research activities. Institutions of Higher Education (IHEs), including community colleges, accredited in the U.S. and having a campus located in the U.S. are also eligible to apply. The grant requires proposals that address bold new scientific ideas crossing the boundaries of two or more CISE core programs. These programs include Algorithmic Foundations, Communications and Information Foundations, Foundations of Emerging Technologies, Software and Hardware Foundations, Computer Systems Research, Networking Technology and Systems, Human-Centered Computing, Information Integration and Informatics, and Robust Intelligence. Proposals should be collaborative efforts with teams consisting of two or more investigators with complementary expertise. The proposed research should have a transformative impact that exceeds the individual contributions of each investigator. Partnerships with a wide range of institutions are encouraged to foster innovative approaches. The grant allows total budgets ranging from $3,000,000 to $5,000,000 and durations from 3-5 years. The budget cannot exceed $1,000,000 per year. For more information and to submit proposals, interested parties can visit the NSF Publication 24-572 at http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24572. Please note that the close date for this grant opportunity is September 29, 2025. If you have any problems or questions, you can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
Computer and Information Science and Engineering (CISE): Core Programs
Active
National Science Foundation
The National Science Foundation (NSF) is offering a grant opportunity titled "Computer and Information Science and Engineering (CISE): Core Programs". This grant aims to support research and education projects in the field of computing, communications, and information science and engineering, as well as advanced cyberinfrastructure. The grant will fund projects under various core programs, including Algorithmic Foundations, Communications and Information Foundations, Foundations of Emerging Technologies, Software and Hardware Foundations, Computer Systems Research, Networking Technology and Systems, Human-Centered Computing, Information Integration and Informatics, and Robust Intelligence. The grant is open to non-profit, non-academic organizations such as 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), including two- and four-year IHEs (including community colleges) accredited in the U.S. and having a campus located in the U.S., can also apply on behalf of their faculty members. The grant has no cost-sharing or matching requirement and falls under the category of Science and Technology and other Research and Development. The total program funding is estimated to be $280,000,000, with an expected number of 600 awards. The award ceiling is $12,000,000, and the award floor is $600,000. Proposals can be submitted in several project classes, including Small Projects, Medium Projects, and OAC Core Projects. Small Projects have a total budget of up to $600,000 with durations up to three years and can be submitted to CCF, CNS, and IIS programs. Medium Projects have a total budget ranging from $600,001 to $1,200,000 with durations up to four years and can also be submitted to CCF, CNS, and IIS programs. OAC Core Projects have a total budget of up to $600,000 with durations up to three years and can be submitted to OAC only. For more information and to submit proposals, interested applicants can visit the NSF Publication 24-589 at http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24589. The deadline for submission is October 23, 2024. If there are any issues with the funding announcement, applicants can contact grantsgovsupport@nsf.gov for assistance.
Computer and Information Science and Engineering (CISE): Core Programs
Active
National Science Foundation
The National Science Foundation (NSF) is offering a grant opportunity titled "Computer and Information Science and Engineering (CISE): Core Programs". This grant aims to support research and education projects in the field of computing, communications, and information science and engineering. The grant will also support projects related to advanced cyberinfrastructure. The NSF CISE Directorate is specifically interested in projects under the following core programs: Algorithmic Foundations (AF), Communications and Information Foundations (CIF), Foundations of Emerging Technologies (FET), Software and Hardware Foundations (SHF), Computer Systems Research (CSR), Networking Technology and Systems (NeTS), Human-Centered Computing (HCC), Information Integration and Informatics (III), Robust Intelligence (RI), and OAC Core Research (OAC Core). Proposals may be submitted by non-profit, non-academic organizations, institutions of higher education, and other eligible organizations directly associated with educational or research activities. The grant allows for different project classes, including Small Projects with a total budget of up to $600,000 and durations up to three years, Medium Projects with a total budget ranging from $600,001 to $1,200,000 and durations up to four years, and OAC Core Projects with a total budget of up to $600,000 and durations up to three years. The deadline for submission is October 23, 2024. For more information and to submit a proposal, please visit the NSF Publication 23-561 at http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf23561. If you encounter any issues with the funding announcement, you can contact NSF grants.gov support at grantsgovsupport@nsf.gov.