Formal Methods in the Field (351091)

    From National Science Foundation (NSF)

    The U.S. National Science Foundation is an independent federal agency that supports science and engineering in all 50 states and U.S. territories. NSF was established in 1950 by Congress to promote the progress of science, advance the national health, prosperity and welfare, and secure the national defense.

    Type of Support

    Overview

    The Formal Methods in the Field (FMitF) program is designed to foster collaboration between formal methods researchers and experts in other computer and information science fields. Its goal is to create correct-by-construction systems and applications with provable guarantees. The program supports three types of proposals:

    1. Research Proposals (Track I): These involve collaboration between formal methods experts and practitioners in other relevant areas, focusing on fundamental contributions and including a proof of concept and detailed evaluation plan. They have a budget up to $1,000,000 for up to four years.

    2. Transition to Practice Proposals (Track II): The aim here is to develop, implement, and deploy robust formal methods research prototypes and tools to a broad user base, bridging the gap between research and practical application with budgets up to $150,000 for up to two years.

    3. Education Proposals (Track III): These focus on developing and disseminating educational materials to make formal methods more accessible. The intention is to impact new communities through the creation of standalone courses or integration within existing courses, supported by budgets up to $250,000 for up to 36 months.

    Eligibility

    Organization's Location
    laboris et
    Program Location
    aute
    Organization Type
    up to 10.5M

    Submission

    Visit Apply for more information.

    Similar grants

    5 of 5 free pages viewed this month
    Sign up to view this and 11K+ more grant opportunities
    Already have an account?Log in