Media Mosiac Gov Solutions Book a Strategy Call
MMGS LLC › GovCon News
🏛 GovCon Intel Opportunities Presolicitations Contract Awards Award Notices Grants Events Regulatory Search 📝 Insights
← Back to Federal Grants
24-554

Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

Federal Grant Posted Active
24-554
U.S. National Science Foundation
Posted
$0
Active

📄 Description

Opportunity Number: 24-554. Agency: U.S. National Science Foundation. Status: posted.
🔍 Search on Grants.gov → 🏛 View on SAM.gov (CFDA) More from this Agency
Program #: 24-554 • Added: Oct 14, 2026 12:20 AM

Program Info

$0
Total Funding
CFDA #24-554
TypePosted
StatusActive

Related Programs

Process Systems, Reaction Engineering, and Molecular Thermo…
PD-23-1403 • $0
Cellular and Biochemical Engineering
PD-23-1491 • $0
Disability and Rehabilitation Engineering
PD-23-5342 • $0
Engineering of Biomedical Systems
PD-23-5345 • $0
🎯 Get GovCon Intel Free →