Automated Reasoning
Amazon Research Awards
UM Funding ID
FD04122
Sponsor
Amazon Research Awards
Program
Category
International
Description
This program funds research to support automated reasoning used by Amazon. Automated reasoning is applied to analyze policies and configurations, show that protocols and programs work as intended, and to analyze generative AI output. Such applications improve AWS services, and increasingly, are provided as customer-visible features.
Unrestricted funds up to $80,000 USD and AWS Promotional Credits up to $40,000 USD available.
VPRI Contact
Michelina Violi
Research Grants Specialist (Health & International)Michelina [dot] .Violi [at] @umanitoba [dot] .ca
Deadlines
| UM Internal Deadline | Sponsor Deadline | |
|---|---|---|
Application | 16-Oct-2025 | 05-Nov-2025 11:59 pm (PT) |
Important
The information in this directory is provided as a service to the University Community and anyone with legitimate business with the University. Use of this directory to prepare mass mailings is prohibited.