NSF's AIMing program funds research combining AI with formal methods and interactive theorem provers to automate mathematical reasoning. The goal is machine-assisted conjecture, proof, and verification that can accelerate knowledge discovery and advance AI itself.
DEPT OF THE AIR FORCEDEPT OF DEFENSE.DEPT OF THE AIR FORCE.AIR FORCE MATERIEL COMMAND.AIR FORCE LIFE CYCLE MANAGEMENT CENTER.BUSINESS AND ENTERPRISE SYSTEMS.FA8770 AFLCMC GBK
Air Force market research for Depot Maintenance Applications Consolidation (DMAC), seeking 8(a) BDP vendors under NAICS 541511 custom computer programming. Focuses on consolidating depot maintenance software applications.
Space Development Agency seeks industry proposals for Resilient Missile Warning Tracking (RMWT) Low Earth Orbit Ground Entry Points, including site civils, communications shelters, antennas, optical terminals, and networking equipment integration across globally dispersed locations.
This contract seeks a modern, reusable replacement for discontinued PF300 flash bulbs used in high-speed video systems. The new illumination system must match or exceed original performance while leveraging existing technology to reduce costs and obsolescence risks.
The Air Force seeks advanced reserve power source technologies for weapon systems that maintain performance over 20+ years of storage without maintenance while delivering high specific energy (40-100 Wh/kg) and power density (2.5-5+ kW/kg). Solutions must rapidly activate within 600 milliseconds, operate reliably for 5+ minutes, withstand extreme environments, and address safety limitations of current battery technologies.
The Army is seeking low-power, miniaturized distributed microsensors that detect chemical, biological, and environmental signals using on-device AI, reporting actionable insights instead of raw data. The technology targets dual-use applications in environmental monitoring, public health, agriculture, and critical infrastructure safety.
Milestone-based prototype agreements sized to the work proposed; indicative range published at intake open.
The Department of Energy is seeking university partners to run Industrial Training and Assessment Centers that help small and medium-sized manufacturers and, newly, mining and mineral processing operations cut energy use and boost productivity. The program also trains engineering students through hands-on assessments to build the applied energy workforce.
The Army's VEDDER office is seeking U.S. teams with AI-enabled discovery platforms to design small-molecule medical countermeasures against chemical and biological threats, from target validation through in-silico safety and manufacturability characterization.
Milestone-based prototype agreements sized to the work proposed; indicative range published at intake open.
DOE is seeking U.S.-based developers of new electric grid technologies for transmission and distribution systems. Matched developers will get funded testing at domestic facilities for up to one year, with applications planned for later this fall.
The Air Force is seeking compact, lightweight 2-micron fiber amplifiers that match the size and weight of existing 1-micron systems while maintaining kilowatt-class power. This advancement enables eye-safer directed energy capabilities and advanced sensing for defense applications.
NSF seeks to expand engineering research capacity by supporting early-career investigators launching independent research programs. This initiative builds the national engineering research base by funding promising researchers at institutions outside the highest-tier research universities.
Custom integrated robotic system development for DTRA. Limited information available; contact agency for detailed R&D scope and technical requirements.
Fund rigorous research to understand, prevent, and respond to human trafficking in the U.S. across three areas: prevention strategies, federal policy evaluation, and victim services. Projects should generate evidence-based solutions to reduce trafficking and improve outcomes for survivors.
This funding supports rigorous research evaluating how state, local, and tribal justice systems respond to illegal immigration and related crimes. Studies will identify innovative strategies across courts, law enforcement, and detention to inform data-driven solutions.
NIJ seeks research on crime prevention programs, strategies, and technologies to boost criminal justice workforce effectiveness and public safety. A second category funds evaluation studies of police de-escalation training implementation and impact.
NIJ seeks foundational research analyzing the relationship between gender dysphoria, its treatment, and violent crime perpetration. Using retrospective data analyses, studies will explore prevalence rates, post-conviction patterns, and comorbidity factors to fill critical evidence gaps.
Web-based Jury Management System (JMS) for federal courts to manage juror selection, tracking, and financial calculations integrated with judicial financial systems.
DARPA seeks innovative synthesis techniques for polymeric and nonlinear optical materials with prototype demonstration in electro-optic modulators, excluding incremental improvements and inorganic-only approaches.
NSF seeks large-scale interdisciplinary quantum research institutes to advance quantum computation, communication, simulation, and sensing. These centers will coordinate breakthrough research across institutions while building the quantum workforce and fostering industry partnerships to sustain U.S. quantum leadership.
NIJ seeks rigorous evaluation research to assess the effectiveness of crisis intervention programs funded through the Byrne SCIP initiative, including mental health courts, drug courts, ERPOs, and law enforcement interventions. A two-phase approach combines evaluability assessments with comprehensive effectiveness evaluation across multiple program areas.
NSF seeks interdisciplinary research teams to establish shared infrastructure platforms advancing alloys, amorphous, and composite materials discovery. These collaborative ecosystems integrate synthesis, characterization, theory, and data science to accelerate materials development and deployment.
This funding supports rigorous research evaluating school safety interventions—specifically anonymous threat reporting systems and threat assessment teams. Projects will assess effectiveness and generate practical recommendations for K-12 schools.
Metal printer alterations and maintenance onboard Navy amphibious assault ships USS Iwo Jima, USS Boxer, and USS Makin Island for equipment repair capability.
NASA's Biosphere program seeks research advancing understanding of Earth's biological systems and their interactions with climate and ecosystems. This competitive grant opportunity supports scientific investigations addressing fundamental questions in biosphere science through a two-step peer review process.
NSF supports foundational mathematical sciences research across pure and applied domains—from algebra and topology to computational mathematics and mathematical biology. These intellectually ambitious grants fund transformative discoveries without requiring near-term commercial outcomes.