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

Buyer

U.S. 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/359504

Additional Information

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

    The U.S. National Science Foundation (NSF) is offering a grant opportunity titled "Formal Methods in the Field" aimed at fostering collaboration between researchers in formal methods and those in various areas of computer and information science and engineering. The program seeks to develop rigorous methodologies for designing systems with provable guarantees, encouraging proposals that demonstrate the applicability of formal methods in specific fields. Eligible applicants include non-profit organizations and accredited institutions of higher education in the U.S., with funding amounts ranging from $150,000 to $1 million depending on the proposal track, and a total estimated program funding of $10.5 million. Interested parties can find more information and submit inquiries to grantsgovsupport@nsf.gov, with the opportunity set to close on June 7, 2025.

    Point(s) of Contact
    grantsgovsupport@nsf.gov
    Files
    No associated files provided.
    Similar Opportunities
    Computational and Data-Enabled Science and Engineering in Mathematical and Statistical Sciences
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Computational and Data-Enabled Science and Engineering in Mathematical and Statistical Sciences" aimed at addressing the mathematical and statistical challenges posed by computational experimentation and the analysis of large datasets. Proposals are sought that will contribute to the development of innovative mathematical and statistical software tools and the theoretical foundations necessary for tackling these challenges, with a focus on advancing the fields of mathematics or statistics significantly. This program is crucial for fostering multidisciplinary collaborations and providing research training for junior mathematicians and statisticians. The total estimated funding for this program is $5 million, with individual awards ranging from $20,000 to $1 million, and proposals can be submitted at any time. For further details, applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov or visit the program's webpage at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=504687.
    Research in the Formation of Engineers
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Research in the Formation of Engineers" aimed at advancing the understanding of professional formation within the engineering field. This initiative seeks proposals that either address fundamental questions of professional formation through Research Projects or develop innovative approaches to engineering education through Design and Development Projects. The NSF emphasizes the importance of creating an inclusive engineering profession responsive to national priorities and workforce needs, with a total estimated funding of $5.6 million available for this program. Proposals can be submitted at any time, and interested applicants can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Division of Materials Research: Topical Materials Research Programs
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Division of Materials Research: Topical Materials Research Programs," aimed at advancing the fundamental understanding of materials science and engineering. This program seeks proposals from eligible applicants, including non-profit organizations, research laboratories, and institutions of higher education, to support research that explores the properties and phenomena of materials, which are crucial for technological innovation and economic growth. With an estimated total program funding of $66 million, proposals can be submitted at any time, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance. For further details, applicants are encouraged to refer to NSF Publication 23-612 available at the provided URL.
    Condensed Matter and Materials Theory
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Condensed Matter and Materials Theory" aimed at supporting theoretical and computational materials research across various topical areas. This program encourages proposals that advance the understanding of materials properties and phenomena, utilizing innovative computational and data-centric techniques, including machine learning and data analytics. With an estimated total program funding of $15 million, proposals may be submitted at any time, and eligible applicants include non-profit organizations, research laboratories, and institutions of higher education located in the U.S. For further details, interested parties can contact NSF grants.gov support at grantsgovsupport@nsf.gov or refer to the NSF Publication 23-611 available at the provided link.
    The Research on Research Security Program
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "The Research on Research Security Program," aimed at advancing the understanding of research security through scholarly evidence. This program encourages interdisciplinary proposals that foster collaboration between the STEM research community and research security practitioners, focusing on various aspects of research security, including threat identification, risk mitigation strategies, and the implications of research security policies. With an estimated total program funding of $2 million and an expected eight awards, proposals can be submitted at any time, and interested applicants are encouraged to contact the NSF grants.gov support at grantsgovsupport@nsf.gov for assistance. For more details, please refer to the NSF Program Description at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=506428.
    Foundational Research in Robotics
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Foundational Research in Robotics," aimed at supporting innovative research in robotic systems characterized by advanced computational capabilities and physical complexity. Proposals must focus on enhancing the capabilities of a robot or a class of robots, addressing fundamental gaps in the field of robotics, and providing meaningful experimental validation on a physical platform. This program is crucial for advancing interdisciplinary research in engineering and computer science, with no cost-sharing or matching requirements. Interested applicants can submit proposals at any time, and for further assistance, they may contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the program's additional information page at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=505784.
    NSF STEM K-12
    U.S. National Science Foundation
    The U.S. National Science Foundation (NSF) is offering a grant opportunity titled "NSF STEM K-12" aimed at supporting research that enhances STEM teaching and learning across various educational settings. This program encourages proposals from a diverse range of eligible applicants, including for-profit organizations, non-profit entities, state and local governments, institutions of higher education, and federally recognized Tribal Nations, all focused on advancing education in science, technology, engineering, and mathematics. With an estimated total program funding of $30 million, proposals can be submitted at any time, and interested parties can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance. For more details, applicants can refer to NSF Publication 25-545 available at the provided URL.
    Accelerating Research Translation
    U.S. National Science Foundation
    The U.S. National Science Foundation (NSF) is offering a federal grant opportunity titled "Accelerating Research Translation" aimed at enhancing the capacity of Institutions of Higher Education (IHEs) to translate academic research into practical solutions that benefit the public. The program seeks proposals that build robust translational research ecosystems across the U.S., with a focus on fostering economic impacts through various tracks tailored to different levels of research translation readiness. This initiative is critical for advancing U.S. scientific and economic leadership by supporting diverse educational and entrepreneurial activities, technology transfer, and collaborative efforts among IHEs. The estimated total program funding is $178 million, with individual awards ranging from $3 million to $8 million depending on the track, and proposals are due by January 15, 2026. For further information, interested parties can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    Opportunities for Promoting Understanding through Synthesis
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Opportunities for Promoting Understanding through Synthesis" aimed at supporting individuals, particularly those in later career stages, to synthesize significant prior research into integrated products beneficial to the scientific community. Eligible applicants include non-profit organizations, independent museums, research laboratories, professional societies, and accredited institutions of higher education located in the U.S., with specific guidelines for proposals involving international branch campuses. This program, which falls under the category of Science and Technology Research and Development, has an estimated total funding of $3 million, with individual awards ranging from $200,000 to $350,000, and proposals are accepted on a rolling basis. For further details, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the NSF publication at http://www.nsf.gov/publications/pubsumm.jsp?odskey=nsf22591.
    Interfacial Engineering
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Interfacial Engineering," aimed at supporting fundamental research on atomic- and molecular-scale interfacial phenomena and the engineering of interfacial properties, processes, and materials. The program encourages innovative proposals that address long-standing challenges or emerging research areas in chemical and biochemical processes, with a focus on improving chemical process efficiency and resource utilization. With an estimated total program funding of $3,200,000 and an expected 113 awards, proposals can be submitted at any time, and interested applicants are encouraged to contact the NSF grants.gov support team at grantsgovsupport@nsf.gov for assistance. For more details, visit the NSF program description at http://www.nsf.gov/funding/pgmsumm.jsp?pimsid=506071.