Grants for Community Colleges

U.S. National Science Foundation

Correctness for Scientific Computing Systems (CS2) is a joint program of the National Science Foundation (NSF) and the Department of Energy (DOE). The program addresses challenges that are both core to DOE s mission and essential to NSF s mission of ensuring broad scientific progress. The program s overarching goal is to elevate correctness as a fundamental requirement for scientific computing tools and tool chains, spanning low-level libraries through complex multi-physics simulations and emerging scientific workflows. At an elementary level, correctness of a system means that desired behavioral properties will be satisfied during the system s execution. In the context of scientific computing, correctness can be understood, at both the level of software and hardware, as absence of faulty behaviors such as excessive numerical rounding, floating-point exceptions, data races deadlocks, memory faults, violations of specifications at interfaces of system modules, and so on. The CS2 program puts correctness on an equal footing with performance, the focus of current scientific computing research. This program envisions the necessity of proving correctness even in performant scientific computing systems. Such correctness proofs themselves might rely upon multiple factors, including correctness of static and runtime program analyses. Recognizing that many scientific computing applications are inherently statistical, use probabilistic or randomized algorithms, and/or deal with uncertain data, probabilistic notions of correctness may be needed. It is also critical to realize that correctness guarantees are provided with respect to some pre-defined system model. For many reasons, including misspecification, approximation, and defect, the state space allowed by real systems might depart from that model. When this happens, the ability to probe the system to isolate the discrepancy is a key challenge in many domains. CS2 requires close and continuous collaboration between researchers in two complementary areas of expertise. One area is scientific computing, which, for this solicitation, is broadly construed to include: models and simulations of scientific theories; management and analysis of data from scientific simulations, observations, and experiments; libraries for numerical computation; and allied topics. The second area is formal reasoning and mechanized proving of properties of programs, which, for this solicitation, is broadly construed to include automatic/interactive/auto-active verification, runtime verification, type systems, abstract interpretation, programming languages, program analysis, program logic, compilers, concurrency, stochastic reasoning, static and dynamic testing, property-based testing, and allied topics.

National Institute of Food and Agriculture

The TCEP-CA under assistance listing 10.517, supports informal, community-based extension projects that address agriculture, youths, economic development, healthy lifestyles, natural resources, or other topics important to Tribal communities. This NOFO will begin a new 4-year continuation funding cycle.

National Science Foundation

Supports undergraduate student research participation through REU Sites hosting cohorts of students in focused research areas and REU Supplements to existing grants.

U.S. National Science Foundation

The primary objective of the Cultural Anthropology Program is to support fundamental, systematic anthropological research and training to increase understanding of the causes, consequences and complexities of human social and cultural variability. The Cultural Anthropology Program welcomes proposals from researchers in all sub-fields of cultural anthropology and research at any temporal or spatial scale. Methodologies and approaches employed may include ethnographic field research, surveys, remote sensing, the collection of bio-markers, experimental research inside or outside of laboratory settings, archival research, the analysis of materials collections and extant data bases, mathematical and computational modeling and other research tools as appropriate for the proposed research. The overarching research goals should be to produce empirically grounded findings that will be generalizable beyond particular case studies and contribute to building a more robust anthropological science of human society and culture. The U.S. National Science Foundation's mandate is to support basic scientific research. Basic research in cultural anthropology means theory-generating and theory-testing research that creates new knowledge about human culture and society. Therefore, the Cultural Anthropology Program cannot support research that takes as its primary objective improved clinical practice, applied policy or other immediate application. Research that seeks to advance scientific cultural anthropological theories in a way that advances use-inspired objectives may be supported, but the theory-advancing objectives must be clearly at the center of the proposal. A proposal to use anthropological methods and approaches only to find solutions to social, medical or other problems without specifically proposing to make a theory-testing or theory-expanding contribution to anthropological science will be returned without review.

New York State Education Department

Career and Technical Education funding under Perkins V for NY schools and colleges to strengthen CTE pathways, work-based learning, and industry certifications.

Texas Education Agency

Career and Technical Education funding under Perkins V for TX schools and colleges to strengthen CTE pathways, work-based learning, and industry certifications.

Florida Department of Education

State scholarship and financial aid program administered by Florida Department of Education for FL students and educational institutions.

Ohio Department of Education and Workforce

Career and Technical Education funding under Perkins V for OH schools and colleges to strengthen CTE pathways, work-based learning, and industry certifications.

Georgia Department of Education

Career and Technical Education funding under Perkins V for GA schools and colleges to strengthen CTE pathways, work-based learning, and industry certifications.

Michigan Department of Education

Career and Technical Education funding under Perkins V for MI schools and colleges to strengthen CTE pathways, work-based learning, and industry certifications.

Virginia Department of Education

Career and Technical Education funding under Perkins V for VA schools and colleges to strengthen CTE pathways, work-based learning, and industry certifications.