Opportunities from Amazon

AWS offers a broad and deep set of tools for businesses to create impactful AI solutions faster. Our mission is to share our learnings and AI capabilities as fully managed services, and put them into the hands of every scientist and developer.
AWS Agentic AI aims to advance agentic AI research by funding development of open-source tools and research that benefit the AI community at large, or impactful research related to agents.

Amazon is committed to helping customers achieve the highest levels of security, availability, and robustness in the cloud. We use automated reasoning, the application of mathematical logic to answer questions and prove properties, to increase assurance about critical computer systems. In particular, 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.

Advancing possible solutions for some of the most challenging problems in information security.
At Amazon, we aim to advance innovations that solve some of the most challenging problems in information security. We are seeking to fund AI research on several topics.