1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
This listing may be outdated. Verify details at the official source before applying.
Find similar grantsAI for Formal Methods (AI4FM) is sponsored by Loyola University Chicago. Advances formal methods and rigorous system design at the intersection of AI, logic, mathematics, and real-world computing.
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →According to the current listing, eligibility includes: Universities. Confirm the full requirements in the official notice before applying.
AI for Formal Methods (AI4FM) is funded by Loyola University Chicago. Verify program details on the funder's official page before applying.
Start from the official opportunity page linked in this listing — it carries the sponsor's submission instructions.
Past winners and funding trends for this program
Course Development Grant Program (Joan and Bill Hank Center for the Catholic Intellectual Heritage) is sponsored by Loyola University Chicago. This grant supports pedagogical and curricular development in topics connected to Catholic thought and life in the arts, sciences, and professional education. It is available to individual full-time LUC faculty.
Faculty Research Grants (Joan and Bill Hank Center for the Catholic Intellectual Heritage) is sponsored by Loyola University Chicago. This program provides year-long research project funding to faculty for individual or group research projects concerned with or connected to Catholic thought and practice, Ignatian intellectual and pedagogical heritage, and social justice in the Catholic tradition.
The full ASPECT NOFO (DE-FOA-0003647) posted September 4, 2026, eleven days later than the Notice of Intent predicted. The real document splits $58 million across two topic areas with anticipated award counts of 0-7 and 0-3, a cost share that jumps from 20 percent to 50 percent mid-project, a mandatory five-page concept paper due October 9, and a university eligibility restriction that decides team structure before anyone writes a word.
Read articleThe Humana Foundation's first 2026 slate funded 13 nonprofits and five university research teams around senior and veteran emotional health, with awards from $150,000 to $3 million concentrated in Texas, Florida, and Kentucky. A second health equity slate is planned for fall 2026. Here is what the portfolio structure reveals about how this funder decides, and how aging-services and behavioral health organizations should position.
Read articleThe Hydrocarbons and Geothermal Energy Office's University Training and Research program funds coal, oil and gas, and geothermal R&D at U.S. colleges and universities — but every proposal must include a non-academic partner and must build training modules that outlive the award. The LOI deadline is October 1, 2026, with full applications 15 days later. Here is what that compressed window means and why the workforce framing changes what a competitive proposal looks like.
Read article