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
    Description

    The 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 and implementing systems with provable guarantees, encouraging proposals that demonstrate the applicability of formal methods to specific fields. With an estimated total program funding of $10.5 million, the grant supports three proposal tracks: Track I for research proposals with budgets up to $1 million, Track II for transition to practice proposals with budgets up to $150,000, and Track III for educational proposals with budgets up to $250,000. Interested applicants must submit their proposals by February 18, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.

    Point(s) of Contact
    grantsgovsupport@nsf.gov
    Files
    No associated files provided.
    Similar Opportunities
    Computer and Information Science and Engineering (CISE): Core Programs, Large Projects
    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," aimed at supporting innovative research and education projects in computing, communications, and information science. Proposals are invited from eligible applicants, including non-profit organizations and accredited institutions of higher education, to tackle ambitious fundamental research problems that span multiple CISE core programs, with a focus on collaborative efforts among teams of investigators. This funding is crucial for advancing knowledge in the field and is expected to total $20 million, with individual project budgets ranging from $3 million to $5 million over a duration of 3 to 5 years. Interested parties should submit their proposals by September 29, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Research Training Groups in the Mathematical Sciences
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Research Training Groups in the Mathematical Sciences" aimed at enhancing the nation's scientific competitiveness by increasing the number of well-prepared individuals pursuing careers in mathematical sciences. This program seeks proposals from accredited institutions of higher education in the U.S. that grant doctoral degrees in mathematical sciences, focusing on improving graduate student research training and professional development through collaborative research groups. The NSF encourages submissions that integrate mathematical sciences with emerging fields such as Artificial Intelligence, Biotechnology, Quantum Computing, and Cybersecurity. The total estimated funding for this program is $12 million, with individual awards ranging from $400,000 to $600,000, and proposals are due by August 12, 2025. For further inquiries, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    Mathematical Sciences Research Institutes
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Mathematical Sciences Research Institutes," aimed at advancing research in the mathematical sciences. This program seeks proposals from eligible applicants, including non-profit organizations, institutions of higher education, and multi-institutional consortia, to support initiatives that enhance research, dissemination of knowledge, and collaboration within the mathematical sciences community. The institutes are designed to focus on significant mathematical problems and foster connections with related fields, ultimately expanding the talent pool engaged in mathematical research in the U.S. The estimated total program funding is $40 million, with individual awards ranging from $1.5 million to $6.5 million, and proposals are due by March 14, 2029. For further information, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the additional information link provided in the announcement.
    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.
    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.
    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.
    Security, Privacy, and Trust in Cyberspace
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Security, Privacy, and Trust in Cyberspace" aimed at enhancing trust in global cyber ecosystems. This program seeks proposals from eligible applicants, including non-profit organizations and institutions of higher education, to address the vulnerabilities and complexities of cyberspace, focusing on the social and technical dimensions of trust, as well as educational initiatives to raise public awareness about cyber risks. With an estimated total program funding of $60 million, the grant awards range from $50,000 to $1.2 million, and proposals are due by September 29, 2025. For further information, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or refer to NSF Publication 25-515.
    Materials Research Science and Engineering Centers
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Materials Research Science and Engineering Centers" aimed at supporting high-quality materials research and education. Proposals are invited from accredited institutions of higher education in the U.S., which may include partnerships with international branch campuses, provided they justify the benefits of such arrangements. This program is crucial for fostering collaboration between universities and various sectors, enhancing the national materials research infrastructure, and addressing complex scientific challenges through interdisciplinary research groups. The total estimated funding for this program is $27 million, with individual awards ranging from $3 million to $4.5 million, and proposals are due by November 24, 2025. For further inquiries, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    Secure and Trustworthy Cyberspace
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Secure and Trustworthy Cyberspace" aimed at advancing cybersecurity research and education. This program seeks proposals that address critical scientific and engineering challenges in cybersecurity, emphasizing a multidisciplinary approach that includes computing, engineering, social sciences, and education. The initiative is vital for enhancing the security and privacy of cyber systems, which are increasingly vulnerable to attacks, and aligns with national strategic plans for cybersecurity and privacy research. Proposals can request funding between $50,000 and $3 million, with no cost-sharing requirement, and submissions are accepted on a rolling basis. 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.