Applications for the (Northern) Fall 2024 Round of Amazon Research Awards close 6 November 2024.
Depending on the research area, up to USD$100,000 in unrestricted funding is available, plus AWS Promotional Credits.
Research Areas
AI for Information Security – advancing possible solutions for some of the most challenging problems for information security
- Threat, intrusion, and anomaly detection for cloud security
- Generative AI and foundation models for information security
- Graph modeling and anomaly detection on graphs
- Learning with limited/noisy labels and weakly supervised learning
- ML for malware analysis and detection, with a focus on cloud environments or devices
- Finding security vulnerabilities using ML
- Causal inference for information security
- Zero/one-shot learning for information security
- Reinforcement learning for information security
- Protecting and preserving data privacy in the cloud
- Securing generative AI and foundation models
Automated Reasoning – systems assurance by mathematical proof
- Automated reasoning
- Abstract interpretation
- Correct-by-construction software
- Dafny
- Efficient reasoning with quantifiers
- Improvements to SAT, SMT, and CHC solvers
- Model checking
- Novel applications of automated reasoning
- Provable Privacy
- Software synthesis and optimization
- Software verification, e.g., C, Rust, Java
- Static analysis
- Theorem proving
- The use of automated reasoning to improve generative AI techniques
- Using automated reasoning in combination with generative AI techniques
- Verification of distributed protocols and systems
- Verification of randomized algorithms
AWS AI – advancing the frontiers of machine learning
- Generative AI
- Governance and responsible AI
- Distributed training
- Machine learning compilers and compiler based optimizations
AWS Cryptography – setting the standard for cryptography at Amazon
- Primitives and protocols
- Open source and verification
- Theory and novel applications
Sustainability – data validation, life cycle assessment, biodiversity and more
- Validating sustainability data at scale
- Machine learning applications for life cycle assessment
- Data-driven sustainable product design and manufacturing
- Climate risk assessment
- Biodiversity
- Lower-carbon cement and concrete
- Responsible supply chain
- CO2 Mineralization
