amazon research awards recipients logo.jpg
Amazon today publicly announced 74 recipients from the Amazon Research Awards Fall 2021 call for proposals. The recipients, who represent 51 universities in 17 countries, have access to more than 300 Amazon public datasets, and can utilize AWS AI/ML services and tools.

75 Amazon Research Awards recipients announced

The awardees represent 52 universities in 17 countries. Recipients have access to more than 300 Amazon public datasets, and can utilize AWS AI/ML services and tools.

The Amazon Research Awards is a program that provides unrestricted funds and AWS Promotional Credits to academic researchers investigating research topics across a number of disciplines.

Today, we’re publicly announcing 75 award recipients who represent 52 universities in 17 countries. Each award is intended to support the work of one to two graduate students or postdoctoral students for one year, under the supervision of a faculty member.

Top row, left to right: Aws Albarghouthi, Nada Amin, Clark Barrett, Ivan Beschastnikh, William Bowman, Yinzhi Cao, Trevor Carlson, Marsha Chechik; second row, left to right: Cas Cremers, Derek Dreyer, Marcelo Frias, Sicun Gao, Roberto Giacobazzi, Ronghui Gu, Jean-Baptiste Jeannin, Steve Ko; third row, left to right: James Noble, Rohan Padhye, Pavithra Prabhakar, Francesco Ranzato, Talia Ringer, Camilo Rocha, Andrei Sabelfeld, Ilya Sergey; and bottom row, left to right: Michele Sevegnani, Fu Song, Zhendong Su, Daniel Varro, Yakir Vizel, Thomas Wies, Anton Wijs, and Meng Xu.
Top row, left to right: Aws Albarghouthi, Nada Amin, Clark Barrett, Ivan Beschastnikh, William Bowman, Yinzhi Cao, Trevor Carlson, Marsha Chechik; second row, left to right: Cas Cremers, Derek Dreyer, Marcelo Frias, Sicun Gao, Roberto Giacobazzi, Ronghui Gu, Jean-Baptiste Jeannin, Steve Ko; third row, left to right: James Noble, Rohan Padhye, Pavithra Prabhakar, Francesco Ranzato, Talia Ringer, Camilo Rocha, Andrei Sabelfeld, Ilya Sergey; and bottom row, left to right: Michele Sevegnani, Fu Song, Zhendong Su, Daniel Varro, Yakir Vizel, Thomas Wies, Anton Wijs, and Meng Xu are among the recipients from the Amazon Research Awards Fall 2021 call for proposals under the Automated Reasoning CFP.

This announcement includes awards funded under seven call for proposals during the Fall 2021 cycle: AI for Information Security, Amazon Device Security and Privacy, Amazon Payments, AWS Automated Reasoning, Data for Social Sustainability, Prime Video, and Robotics. Proposals were reviewed for the quality of their scientific content, their creativity, and their potential to impact both the research community and society more generally. Theoretical advances, creative new ideas, and practical applications were all considered.

Top row, left to right: Nora Ayanian, Nicola Bezzo, Luca Carlone, Venanzio Cichella, Jia Deng, Nima Fazeli, Maani Ghaffari-Jadidi; second row, left to right: Grace Gu, Leonidas Guibas, Felix Heide, Ralph Hollis, Robert Katzschmann, Sven Koenig, George Konidaris; third row, left to right: Sergey Levine, Jennifer Lewis, Maja Matarić, Jan Peters, Lerrel Pinto, Robert Platt, Nancy Pollard; and bottom row, left to right: Alessandro Rizzo, Oren Salzman, Roland Siegwart, Pratap Tokekar, James Wang, Shenlong Wang, and Yuke Zhu.
Top row, left to right: Nora Ayanian, Nicola Bezzo, Luca Carlone, Venanzio Cichella, Jia Deng, Nima Fazeli, Maani Ghaffari-Jadidi; second row, left to right: Grace Gu, Leonidas Guibas, Felix Heide, Ralph Hollis, Robert Katzschmann, Sven Koenig, George Konidaris; third row, left to right: Sergey Levine, Jennifer Lewis, Maja Matarić, Jan Peters, Lerrel Pinto, Robert Platt, Nancy Pollard; and bottom row, left to right: Alessandro Rizzo, Oren Salzman, Roland Siegwart, Pratap Tokekar, James Wang, Shenlong Wang, and Yuke Zhu are among the recipients from the Amazon Research Awards Fall 2021 call for proposals under the Robotics CFP.

Recipients have access to more than 300 Amazon public datasets and can utilize AWS AI/ML services and tools through their AWS Promotional Credits. Recipients also are assigned an Amazon research contact who offers consultation and advice, along with opportunities to participate in Amazon events and training sessions.

Additionally, Amazon encourages the publication of research results, presentations of research at Amazon offices worldwide, and the release of related code under open-source licenses.

Top row, left to right:NAMES; second row, left to right:NAMES are among the recipients from the Amazon Research Awards Winter 2022 call for proposals under the Alexa: Fairness in AI CFP.
Top row, left to right:NAMES; second row, left to right:NAMES are among the recipients from the Amazon Research Awards Winter 2022 call for proposals under the Alexa: Fairness in AI CFP.

"Research in automated reasoning is deeply intertwined with a broad range of other research areas, touching machine learning, hardware and software engineering, robotics, and life sciences," said Daniel Kroening, an Automated Reasoning Group senior principal scientist. "The 2021 Amazon Research Awards reflect this breadth, and the interdisciplinary nature of research that is necessary to take computing one step closer to that magic spark that drives human reasoning."

ARA funds proposals up to four times a year in a variety of research areas. Applicants are encouraged to visit the ARA call for proposals page for more information or send an email to be notified of future open calls.

The table below lists, in alphabetical order, Fall 2021 cycle call-for-proposal recipients.

RecipientUniversityResearch title
Aws AlbarghouthiUniversity of Wisconsin-MadisonTeaching SMT Solvers Probability Theory
Nada AminHarvard UniversityExtensible Models and Proofs
Nora AyanianBrown UniversityLarge-Scale Labeled Multi-Agent Pathfinding for Warehouses
Clark BarrettStanford UniversityHydraScale: Solving SMT Queries in the Serverless Cloud
Ivan BeschastnikhUniversity of British ColumbiaCompiling Distributed System Models into Implementations
Nicola BezzoUniversity of VirginiaTowards Safe and Agile Robot Navigation in Occluding and Dynamic Environments
William BowmanUniversity of British ColumbiaStatic reasoning for memory in compilers and intermediate languages
Yinzhi CaoJohns Hopkins UniversityAutomatic Static Resource Analysis for Serverless Computing
Luca CarloneMassachusetts Institute of TechnologyReal-time Spatial AI for Robotics
Trevor CarlsonNational University of SingaporeAccelerating SAT Solving with a Flexible FPGA-Programming Platform
Marsha ChechikUniversity Of TorontoUnsatisfiability Proofs for Monotonic Theories
Venanzio CichellaUniversity Of IowaConcurrent allocation and planning for large-scale multi-robot systems
Cas CremersCISPA Helmholtz Center for Information SecurityKeyLife: Automated Formal Analysis for Key Lifecycles in Security Protocols with Policies, Delegation, and Compromise
Elizabeth CroftMonash UniversityHelp me!: Humans supporting robots through Augmented Reality
Jia DengPrinceton UniversityOptimization-Inspired Neural Networks for Visual SLAM
Derek DreyerMPI - SWSRefinedRust: Automating the Verification of Rust Programs in the Presence of Unsafe Code
Tudor DumitrasUniversity of Maryland, College ParkMitigating the impact of behavior variability and label noise on ML-based malware detectors
Nima FazeliUniversity of MichiganObject Manipulation with High-Resolution Tactile Sensors
Earlence FernandesUniversity of Wisconsin-MadisonVerifiable Distributed Computation
Marcelo FriasBuenos Aires Institute of TechnologyModular Bounded Verification with Expressive Contracts
Sicun GaoUniversity of California, San DiegoInterior Search Methods in SMT
Maani Ghaffari-JadidiUniversity of MichiganRobust low-cost dead reckoning and localization for home robotics using invariant state estimation
Roberto GiacobazziUniversity of VeronaImplicit program analysis
Ronghui GuColumbia UniversityLearning Inductive Invariants for Real Distributed Protocols
Grace GuUniversity of California, BerkeleyDeep learning-enabled robust grasping for pneumatic actuators
Leonidas GuibasStanford UniversityGeneralPurpose 3D Perception of Object Functionality
Arie GurfinkelUniversity of WaterlooFormal Proofs for Trusted Execution Environments
Hamed HaddadiImperial College LondonAuditable Model Privacy using TEEs
Felix HeidePrinceton UniversityInverse Neural Rendering
Ralph HollisCarnegie Mellon UniversityLow Cost Dynamic Mobile Robots for Research and Teaching
Hongxin HuSUNY, BuffaloExplaining Learning-based Intrusion Detection Systems for Active Intrusion Responses
Jean-Baptiste JeanninUniversity of Michigan-Ann ArborAutomatic Verification of Distributed Systems Implementations
Robert KatzschmannETH ZurichDesign and Control Optimization of Soft Gripper Mechanisms for Manipulation
Anirudh Sivaraman KaushalramNew York UniversityObserving and controlling microservice deployments
Steve KoSimon Fraser UniversityPractical Symbolic Execution for Rust
Sven KoenigUniversity of Southern CaliforniaHybrid Search- and Traffic-Based MAPF Systems for Fulfillment Centers
George KonidarisBrown UniversityLearning Composable Manipulation Skills
Emmanuel LetouzéPompeu Fabra UniversityLeveraging Digital Data for Monitoring Human Rights and Social Dynamics Along and Around Value Chains
Sergey LevineUniversity of California, BerkeleyRobotic Learning with Reusable Data
Jennifer LewisHarvard UniversityComputational Co-Design of Dexterous Rigid-Soft Grippers With Intrinsic Tactile-Sensing-Based Control
Maja MatarićUniversity of Southern CaliforniaLearning User Preferences for In-Home Robots Through In Situ Augmented Reality
James NobleVictoria University Of Wellington“Programming Made Hard” Made Easier: Improving Dafny’s Human Factors
Rohan PadhyeCarnegie Mellon UniversityCoverage-Guided Property-Based Testing of Concurrent Programs
Jan PetersTU DarmstadtLearning Robot Manipulation from Tactile Feedback
Lerrel PintoNew York UniversityVisual Imitation in the Wild through Decoupled Representation Learning
Robert PlattNortheastern UniversityOn-robot manipulation learning via equivariant models
Nancy PollardCarnegie MellonContact Areas for Manipulation Capture, Retargeting, and Hand Design
Pavithra PrabhakarKansas State UniversityConformance Checking of Evolving ML Software Systems
Francesco RanzatoUniversity of VeronaImplicit program analysis
Sanjay RaoPurdue UniversityAnswering counterfactuals from offline data for video streaming
Bruno RibeiroPurdue UniversityAnswering counterfactuals from offline data for video streaming
Talia RingerUniversity of Illinois Urbana-ChampaignNeurosymbolic Proof Synthesis & Repair
Alessandro RizzoPolitecnico di TorinoPhysics-Informed Machine Learning for Trustworthy Control of Autonomous Robots
Camilo RochaPontificia Universidad Javeriana CaliProbabilistic and Symbolic Tools for P Program Verification
Andrei SabelfeldChalmers University of TechnologyDeepCrawl: Automated Reasoning for Deep Web Crawling
Oren SalzmanTechnion - Israel Institute of TechnologyIncreasing throughput in automated warehouses via environment manipulation
Ilya SergeyNational University of SingaporeScaling Automated Verification of Distributed Protocols with Specification Transformation and Synthesis
Michele SevegnaniUniversity of GlasgowFrom Whiteboards to Models: Diagrammatic Formal Modelling for Everyone
Roland SiegwartETH ZurichAutonomous Navigation of Aerial Robotic Manipulators in Unstructured Indoor and Outdoor Environments
Ramesh SitaramanUniversity of Massachusetts AmherstDesign and Evaluation of ABR Algorithms for High-Performance Video Delivery
Fu SongShanghaiTech UniversityEfficient and Precise Verification for Constant-Time and Time-Balancing of Cryptosystems
Zhendong SuETH ZurichPractical Techniques for Reliable, Robust and Performant SMT Solvers
Jiliang TangMichigan State UniversityTaming Graph Anomaly Detection via Graph Neural Networks
Pratap TokekarUniversity of Maryland, College ParkMulti-Robot Coordination through the Lens of Risk
Daniel VarroMcGill UniversityGraph Solver as a Service
Yakir VizelTechnion - Israel Institute of TechnologyQuantified Invariants
David WagnerUniversity of California, BerkeleyMachine Learning for Malware Detection: Robustness against Concept Drift
James WangPennsylvania State UniversityAffective and Social Interaction between Human and Intelligent Machine in Daily Activities
Shenlong WangUniversity of Illinois Urbana-ChampaignSafely Test Autonomous Vehicles with Augmented Reality
Thomas WiesNew York UniversityA Modular Library of Verified Concurrent Search Structure Algorithms
Anton WijsEindhoven University of TechnologyMany-Core Acceleration of State Space Construction and Analysis
Xinyu XingNorthwestern UniversityBattling Noisy-label Classification
Meng XuUniversity Of WaterlooFinding Specification Blind Spots with Fuzz Testing
Yuke ZhuUniversity of Texas at AustinInteractive Learning Framework for Building Structured Object Models from Play
Andrew ZissermanUniversity of OxfordAudio-Visual Synchronisation for General Videos

Related content

US, WA, Seattle
The Global Media Entertainment Science team uses state of the art economics and machine learning models to provide Amazon’s entertainment businesses guidance on strategically important questions. We are looking for detail-oriented, organized, and responsible individuals who are eager to learn how to work with large and complicated data sets. Some knowledge of econometrics, as well as basic familiarity with Python is necessary, and experience with SQL and UNIX would be a plus. These are full-time positions at 40 hours per week, with compensation being awarded on an hourly basis. You will learn how to build data sets and perform applied econometric analysis at Internet speed collaborating with economists, scientists, and product managers. These skills will translate well into writing applied chapters in your dissertation and provide you with work experience that may help you with placement. Roughly 85% of previous cohorts have converted to full time scientist employment at Amazon. If you are interested, please send your CV to our mailing list at econ-internship@amazon.com. Key job responsibilities
US, CA, Palo Alto
The Amazon Search team creates powerful, customer-focused search solutions and technologies. Whenever a customer visits an Amazon site worldwide and types in a query or browses through product categories, Amazon Product Search services go to work. We design, develop, and deploy high performance, fault-tolerant distributed search systems used by millions of Amazon customers every day. Our Search Relevance team works to maximize the quality and effectiveness of the search experience for visitors to Amazon websites worldwide. The Search Relevance team focuses on several technical areas for improving search quality. In this role, you will invent universally applicable signals and algorithms for training machine-learned ranking models. The relevance improvements you make will help millions of customers discover the products they want from a catalog containing millions of products. You will work on problems such as predicting the popularity of new products, developing new ranking features and algorithms that capture unique characteristics, and analyzing the differences in behavior of different categories of customers. The work will span the whole development pipeline, including data analysis, prototyping, A/B testing, and creating production-level components. Joining this team, you’ll experience the benefits of working in a dynamic, entrepreneurial environment, while leveraging the resources of Amazon.com (AMZN), one of the world’s leading Internet companies. We provide a highly customer-centric, team-oriented environment in our offices located in Palo Alto, California. Please visit https://www.amazon.science for more information
US, WA, Seattle
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. Do you have a strong machine learning background and want to help build new speech and language technology? Amazon is looking for PhD students who are ready to tackle some of the most interesting research problems on the leading edge of natural language processing. We are hiring in all areas of spoken language understanding: NLP, NLU, ASR, text-to-speech (TTS), and more! A successful candidate will be a self-starter comfortable with ambiguity, strong attention to detail, and the ability to work in a fast-paced, ever-changing environment. As an Applied Science Intern, you will develop and implement novel scalable algorithms and modeling techniques to advance the state-of-the-art in technology areas at the intersection of ML, NLP, search, and deep learning. You will work side-by-side with global experts in speech and language to solve challenging groundbreaking research problems on production scale data. The ideal candidate must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. Amazon has positions available for Natural Language Processing & Speech Intern positions in multiple locations across the United States. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. Please visit our website to stay updated with the research our teams are working on: https://www.amazon.science/research-areas/conversational-ai-natural-language-processing
US, WA, Seattle
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. The Research team at Amazon works passionately to apply cutting-edge advances in technology to solve real-world problems. Do you have a strong machine learning background and want to help build new speech and language technology? Do you welcome the challenge to apply optimization theory into practice through experimentation and invention? Would you love to help us develop the algorithms and models that power computer vision services at Amazon, such as Amazon Rekognition, Amazon Go, Visual Search, etc? At Amazon we hire research science interns to work in a number of domains including Operations Research, Optimization, Speech Technologies, Computer Vision, Robotics, and more! As an intern, you will be challenged to apply theory into practice through experimentation and invention, develop new algorithms using mathematical programming techniques for complex problems, implement prototypes and work with massive datasets. Amazon has a culture of data-driven decision-making, and the expectation is that analytics are timely, accurate, innovative and actionable. Amazon Science gives insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Amazon Scientist use our working backwards method to enrich the way we live and work. For more information on the Amazon Science community please visit https://www.amazon.science.
US, WA, Seattle
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. The Research team at Amazon works passionately to apply cutting-edge advances in technology to solve real-world problems. Do you have a strong machine learning background and want to help build new speech and language technology? Do you welcome the challenge to apply optimization theory into practice through experimentation and invention? Would you love to help us develop the algorithms and models that power computer vision services at Amazon, such as Amazon Rekognition, Amazon Go, Visual Search, etc? At Amazon we hire research science interns to work in a number of domains including Operations Research, Optimization, Speech Technologies, Computer Vision, Robotics, and more! As an intern, you will be challenged to apply theory into practice through experimentation and invention, develop new algorithms using mathematical programming techniques for complex problems, implement prototypes and work with massive datasets. Amazon has a culture of data-driven decision-making, and the expectation is that analytics are timely, accurate, innovative and actionable. Amazon Science gives insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Amazon Scientist use our working backwards method to enrich the way we live and work. For more information on the Amazon Science community please visit https://www.amazon.science.
CA, ON, Toronto
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. Are you a Masters student interested in machine learning, natural language processing, computer vision, automated reasoning, or robotics? We are looking for skilled scientists capable of putting theory into practice through experimentation and invention, leveraging science techniques and implementing systems to work on massive datasets in an effort to tackle never-before-solved problems. A successful candidate will be a self-starter comfortable with ambiguity, strong attention to detail, and the ability to work in a fast-paced, ever-changing environment. As an Applied Science Intern, you will own the design and development of end-to-end systems. You’ll have the opportunity to create technical roadmaps, and drive production level projects that will support Amazon Science. You will work closely with Amazon scientists, and other science interns to develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. Amazon Science gives insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Our scientists use our working backwards method to enrich the way we live and work. For more information on the Amazon Science community please visit https://www.amazon.science.
CA, ON, Toronto
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. Are you a PhD student interested in machine learning, natural language processing, computer vision, automated reasoning, or robotics? We are looking for skilled scientists capable of putting theory into practice through experimentation and invention, leveraging science techniques and implementing systems to work on massive datasets in an effort to tackle never-before-solved problems. A successful candidate will be a self-starter comfortable with ambiguity, strong attention to detail, and the ability to work in a fast-paced, ever-changing environment. As an Applied Science Intern, you will own the design and development of end-to-end systems. You’ll have the opportunity to create technical roadmaps, and drive production level projects that will support Amazon Science. You will work closely with Amazon scientists, and other science interns to develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. Amazon Science gives insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Our scientists use our working backwards method to enrich the way we live and work. For more information on the Amazon Science community please visit https://www.amazon.science.
US, WA, Seattle
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. We are looking for Masters or PhD students excited about working on Automated Reasoning or Storage System problems at the intersection of theory and practice to drive innovation and provide value for our customers. AWS Automated Reasoning teams deliver tools that are called billions of times daily. Amazon development teams are integrating automated-reasoning tools such as Dafny, P, and SAW into their development processes, raising the bar on the security, durability, availability, and quality of our products. AWS Automated Reasoning teams are changing how computer systems built on top of the cloud are developed and operated. AWS Automated Reasoning teams work in areas including: Distributed proof search, SAT and SMT solvers, Reasoning about distributed systems, Automating regulatory compliance, Program analysis and synthesis, Security and privacy, Cryptography, Static analysis, Property-based testing, Model-checking, Deductive verification, compilation into mainstream programming languages, Automatic test generation, and Static and dynamic methods for concurrent systems. AWS Storage Systems teams manage trillions of objects in storage, retrieving them with predictable low latency, building software that deploys to thousands of hosts, achieving 99.999999999% (you didn’t read that wrong, that’s 11 nines!) durability. AWS storage services grapple with exciting problems at enormous scale. Amazon S3 powers businesses across the globe that make the lives of customers better every day, and forms the backbone for applications at all scales and in all industries ranging from multimedia to genomics. This scale and data diversity requires constant innovation in algorithms, systems and modeling. AWS Storage Systems teams work in areas including: Error-correcting coding and durability modeling, system and distributed system performance optimization and modeling, designing and implementing distributed, multi-tenant systems, formal verification and strong, practical assurances of correctness, bits-IOPS-Watts: the interplay between computation, performance, and energy, data compression - both general-purpose and domain specific, research challenges with storage media, both existing and emerging, and exploring the intersection between storage and quantum technologies. As an Applied Science Intern, you will work closely with Amazon scientists and other science interns to develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment who is comfortable with ambiguity. Amazon believes that scientific innovation is essential to being the world’s most customer-centric company. Our ability to have impact at scale allows us to attract some of the brightest minds in Automated Reasoning and related fields. Our scientists work backwards to produce innovative solutions that delight our customers. Please visit https://www.amazon.science (https://www.amazon.science/) for more information.
US, WA, Seattle
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. We are looking for PhD students excited about working on Automated Reasoning or Storage System problems at the intersection of theory and practice to drive innovation and provide value for our customers. AWS Automated Reasoning teams deliver tools that are called billions of times daily. Amazon development teams are integrating automated-reasoning tools such as Dafny, P, and SAW into their development processes, raising the bar on the security, durability, availability, and quality of our products. AWS Automated Reasoning teams are changing how computer systems built on top of the cloud are developed and operated. AWS Automated Reasoning teams work in areas including: Distributed proof search, SAT and SMT solvers, Reasoning about distributed systems, Automating regulatory compliance, Program analysis and synthesis, Security and privacy, Cryptography, Static analysis, Property-based testing, Model-checking, Deductive verification, compilation into mainstream programming languages, Automatic test generation, and Static and dynamic methods for concurrent systems. AWS Storage Systems teams manage trillions of objects in storage, retrieving them with predictable low latency, building software that deploys to thousands of hosts, achieving 99.999999999% (you didn’t read that wrong, that’s 11 nines!) durability. AWS storage services grapple with exciting problems at enormous scale. Amazon S3 powers businesses across the globe that make the lives of customers better every day, and forms the backbone for applications at all scales and in all industries ranging from multimedia to genomics. This scale and data diversity requires constant innovation in algorithms, systems and modeling. AWS Storage Systems teams work in areas including: Error-correcting coding and durability modeling, system and distributed system performance optimization and modeling, designing and implementing distributed, multi-tenant systems, formal verification and strong, practical assurances of correctness, bits-IOPS-Watts: the interplay between computation, performance, and energy, data compression - both general-purpose and domain specific, research challenges with storage media, both existing and emerging, and exploring the intersection between storage and quantum technologies. As an Applied Science Intern, you will work closely with Amazon scientists and other science interns to develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment who is comfortable with ambiguity. Amazon believes that scientific innovation is essential to being the world’s most customer-centric company. Our ability to have impact at scale allows us to attract some of the brightest minds in Automated Reasoning and related fields. Our scientists work backwards to produce innovative solutions that delight our customers. Please visit https://www.amazon.science (https://www.amazon.science/) for more information.
US, WA, Seattle
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location. Help us develop the algorithms and models that power computer vision services at Amazon, such as Amazon Rekognition, Amazon Go, Visual Search, and more! We are combining computer vision, mobile robots, advanced end-of-arm tooling and high-degree of freedom movement to solve real-world problems at huge scale. As an intern, you will help build solutions where visual input helps the customers shop, anticipate technological advances, work with leading edge technology, focus on highly targeted customer use-cases, and launch products that solve problems for Amazon customers. A successful candidate will be a self-starter comfortable with ambiguity, strong attention to detail, and the ability to work in a fast-paced, ever-changing environment. You will own the design and development of end-to-end systems and have the opportunity to write technical white papers, create technical roadmaps, and drive production level projects that will support Amazon Science. You will work closely with Amazon scientists, and other science interns to develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. Amazon Science gives insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Amazon Scientist use our working backwards method to enrich the way we live and work. For more information on the Amazon Science community please visit https://www.amazon.science