Group items tagged

The purpose of the NSF Graduate Research Fellowship Program (GRFP) is to help ensure the vitality and diversity of the scientific and engineering workforce of the United States. The program recognizes and supports outstanding graduate students who are pursuing full-time research-based master's and doctoral degrees in science, technology, engineering, and mathematics (STEM) or in STEM education. The GRFP provides three years of support for the graduate education of individuals who have demonstrated their potential for significant research achievements in STEM or STEM education. NSF especially encourages women, members of underrepresented minority groups, persons with disabilities, veterans, and undergraduate seniors to apply.

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 mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches. The second group consists of researchers in the "field," which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research. This solicitation limits the field to the following areas that stand to directly benefit from a grounding in formal methods: computer networks, cyber-human systems, distributed /operating systems, embedded systems, and machine learning. Other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.

The purpose of this Notice of Funding Opportunity (NOFO) is to support innovative research to develop and apply computational tools and mathematical methods for: 1) modeling the spread of pathogens that cause healthcare-associated infections (HAIs) and related antimicrobial resistant (AR) infections; 2) predicting outbreaks of HAI pathogens and trends in the burden of antimicrobial resistant and susceptible HAIs; and 3) investigating the effectiveness of intervention strategies. The models should be developed with the intent that they will be tools for researchers, policymakers, or public health workers who want to better understand and respond to HAIs in the United States. This NOFO will also create a network of leaders in the fields of HAI and AR modeling that will be a resource for informing the development of relevant evidence-based policy. MInD-Healthcare will provide a network of leading modelers to respond to evolving public health needs and emergencies in healthcare settings.

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 mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches. The second group consists of researchers in the "field," which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research. This solicitation limits the field to the following areas that stand to directly benefit from a grounding in formal methods: computer networks, cyber-human systems, distributed /operating systems, embedded systems, and machine learning. Other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.