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
    Artificial Intelligence, Formal Methods, and Mathematical Reasoning
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Artificial Intelligence, Formal Methods, and Mathematical Reasoning" aimed at supporting research that integrates innovative computational and AI technologies with mathematical reasoning strategies to enhance knowledge discovery. This program seeks to advance the field of machine-assisted mathematical reasoning, which has gained traction due to recent technological developments and its potential impact on AI research. The estimated total funding for this program is $6 million, with an award ceiling of $1.2 million and an expected ten awards to be made. Proposals are due by February 5, 2025, and interested applicants can find more information at the NSF's publication page or contact grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Correctness for Scientific Computing Systems
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Correctness for Scientific Computing Systems" in collaboration with the Department of Energy (DOE), aimed at enhancing the correctness of scientific computing tools and workflows. This program seeks proposals from eligible applicants, including non-profit organizations, institutions of higher education, and DOE National Laboratories, focusing on the integration of scientific computing and formal reasoning to ensure the reliability of computational systems. The initiative is critical for addressing challenges in scientific computing, emphasizing the need for correctness alongside performance in various applications, including simulations and data management. The estimated total funding for this program is $18 million, with proposals due by August 12, 2025. For further inquiries, interested parties can contact NSF grants.gov support at 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," 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
    Active
    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.
    Designing Materials to Revolutionize and Engineer our Future
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Designing Materials to Revolutionize and Engineer our Future," aimed at fostering the design, discovery, and development of materials through the integration of data, computational tools, and experimental methods. Proposals are invited from accredited institutions of higher education in the U.S., with a focus on collaborative research that emphasizes a "closed-loop" process involving theory, computation, and experimentation. This initiative supports the National Science and Technology Council's Materials Genome Initiative, which seeks to enhance the materials development continuum and workforce training. The grant amounts range from $1.5 million to $2 million, with a total program funding of $40 million anticipated for approximately 25 awards. Interested applicants must submit proposals by February 4, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Computer Science for All
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a grant opportunity titled "Computer Science for All," aimed at enhancing computer science (CS) and computational thinking (CT) education for preK-12 students across the United States. This initiative seeks to support high school teachers with professional development, provide preK-8 teachers with instructional materials, and equip schools and districts with resources to establish and evaluate multi-grade pathways in CS and CT. With an estimated total program funding of $20 million and an award ceiling of $2 million, proposals are open to non-profit organizations, institutions of higher education, and federally recognized Tribal Nations. Interested applicants must submit their proposals by February 12, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Mathematical Sciences Research Institutes
    Active
    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.
    Advancing Informal STEM Learning
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Advancing Informal STEM Learning" aimed at funding research and practices that enhance informal STEM learning experiences and environments. The program seeks proposals that focus on engagement, broadening participation, and fostering a sense of belonging among individuals and communities historically excluded or underrepresented in STEM fields. This initiative is crucial for improving public engagement with scientific discovery and enhancing community vibrancy through informal STEM education. Interested applicants can apply for funding ranging from $150,000 to $3,500,000, with an estimated total program funding of $41,000,000 and a deadline for proposal submission set for January 8, 2025. For further inquiries, applicants may contact NSF grants.gov support at grantsgovsupport@nsf.gov.
    Ethical and Responsible Research
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Ethical and Responsible Research" aimed at promoting responsible and ethical practices in STEM fields. This program supports projects that develop, improve, and disseminate ethical research practices, focusing on various career stages and organizational cultures that value such practices. With an estimated total funding of $5.4 million and approximately 15 awards expected, proposals are encouraged from non-profit organizations, institutions of higher education, and those involving collaborations with minority-serving institutions or EPSCoR-eligible jurisdictions. Interested applicants must submit their proposals by January 23, 2025, and can reach out to NSF grants.gov support at grantsgovsupport@nsf.gov for assistance.
    Advancing Informal STEM Learning
    Active
    National Science Foundation
    The National Science Foundation (NSF) is offering a federal grant opportunity titled "Advancing Informal STEM Learning" aimed at funding research and practices that enhance informal STEM learning experiences and environments. The program specifically seeks proposals that promote equity and belonging for historically excluded and underserved communities, focusing on public engagement with STEM, community STEM initiatives, and science communication. With an estimated total program funding of $41 million, the NSF anticipates awarding approximately 77 grants, with individual awards ranging from $150,000 to $3.5 million. Interested applicants can find more information and submit proposals before the closing date of January 8, 2025, by contacting NSF grants.gov support at grantsgovsupport@nsf.gov.