Formal Methods in the Field

0 Saves · 0 Shares · 0 Comments Discussion

Grant Name

Funder

National Science Foundation (NSF)

Country or Region

United States

Research Field

Science and Technology and other Research and Development

Deadline

Feb 18, 2025 12:00:00 AM EST

Grant Size

10500000

Contact Info

National Science Foundation Grantsgovsupport@nsf.gov

Eligibility

Eligible Applicants:

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 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.
*Who May Serve as PI:
By the submission deadline, any PI, co-PI, or other senior project personnel must hold either:

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 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.

Grant Number

24-509

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.

Website

http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24509

Funding resources
Purdue Grant Writing Lab: Introduction to Grant Writing	Open Link
University of Wisconsin Writing Center: Planning and Writing a Grant Proposal	Open Link

Quick share

Add deadline to calendar

Feb 18, 2025 12:00:00 AM EST

Have a funding opportunity that you want to list here?

Submit the grant details to support@peeref.com for review and listing.

Suggest reading

Canadian Institutes of Health Research Profile

Bill and Melinda Gates Foundation Profile

Empowering Innovation: A Spotlight on the National Science Foundation

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Related opportunities

FY24 Department of Navy (DON) Science, Technology, Engineering, and Mathematics (STEM) Education and Workforce Program: Science and Technology and other Researc... Aug 30, 2024 12:00:00 AM EDT 600000

Hispanic Serving Institutions: Equitable Transformation in STEM Education (ETSE): Science and Technology and other Researc... Sep 11, 2024 12:00:00 AM EDT 20000000

Centers of Research Excellence in Science and Technology: Science and Technology and other Researc... Dec 06, 2024 12:00:00 AM EST $8,000,000

EPSCoR Centers of Research Excellence in Science and Technology: Science and Technology and other Researc... Dec 06, 2024 12:00:00 AM EST 4500000

EPSCoR Research Infrastructure Improvement-Focused EPSCoR Collaborations Program (RII-FEC): Science and Technology and other Researc... Jan 28, 2025 12:00:00 AM EST 1500000

Focus on Recruiting Emerging Climate and Adaptation Scientists and Transformers: Science and Technology and other Researc... Jan 29, 2025 12:00:00 AM EST 15000000

Hispanic-Serving Institutions: Enriching Learning, Programs, and Student Experiences: Science and Technology and other Researc... Feb 12, 2025 12:00:00 AM EST 1000000

EPSCoR Research Infrastructure Improvement (RII): EPSCoR Research Fellows: Science and Technology and other Researc... Apr 08, 2025 12:00:00 AM EDT 15000000

European Researchers' Night and Researchers at Schools 2026-2027: N/A 2025-10-22 €16253880

Funding resources