Automated Reasoning call for proposals - Fall 2026 supports academic and nonprofit researchers studying mathematical logic, proof, and verification to improve computing systems' security and robustness.
Amazon Security call for proposals - Fall 2026 supports researchers developing AI for hardware, software, cloud, and agent security to address pressing challenges and make security analysis more trustworthy.
AI for Information Security call for proposals - Fall 2026 supports researchers developing AI for secure agents, threat detection, incident response, and vulnerability remediation to address security challenges.
AWS Agentic AI call for proposals - Fall 2026 supports researchers developing open-source tools and agentic AI research to advance AI agents and benefit the wider research community.
AWS Cryptography call for proposals - Fall 2026 supports researchers advancing cryptographic protocols, verified software, and AI security to protect customers’ applications and data across Amazon.
Multilingual and Contextual AI Evaluation call for proposals - Fall 2026 supports academic and nonprofit researchers evaluating AI across languages and cultures to improve safety and fairness in the Global South.