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.

74 Amazon Research Awards recipients announced

The awardees represent 51 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 74 award recipients who represent 51 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
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
Note that this posting is for a handful of teams within Amazon Robotics. Teams include: Robotics, Computer Vision, Machine Learning, Optimization, and more.Are you excited about building high-performance robotic systems that can perceive and learn to help deliver for customers? The Amazon Robotics team is creating new science products and technologies that make this possible, at Amazon scale. We work at the intersection of computer vision, machine learning, robotic manipulation, navigation, and human-robot interaction.Amazon Robotics is seeking broad, curious applied scientists and engineering interns to join our diverse, full-stack team. In addition to designing, building, and delivering end-to-end robotic systems, our team is responsible for core infrastructure and tools that serve as the backbone of our robotic applications, enabling roboticists, applied scientists, software and hardware engineers to collaborate and deploy systems in the lab and in the field. We will give you the tools and support you need to invent with us in ways that are rewarding, fulfilling and fun. Come join us!A day in the lifeAs an intern you will develop a new algorithm to solve one of the challenging computer vision and manipulation problems in Amazon's robotic warehouses. Your project will fit your academic research experience and interests. You will code and test out your solutions in increasingly realistic scenarios and iterate on the idea with your mentor to find the best solution to the problem.
US, WA, Bellevue
The Global Supply Chain-ACES organization aims to raise the bar on Amazon’s customer experience by delivering holistic solutions for Global Customer Fulfillment that facilitate the effective and efficient movement of product through our supply chain. We develop strategies, processes, material handling and technology solutions, reporting and other mechanisms, which are simple, technology enabled, globally scalable, and locally relevant. We achieve this through cross-functional partnerships, listening to the needs of our customers and prioritizing initiatives to deliver maximum impact across the value chain. Within the organization, our Quality team balances tactical operation with operations partners with global engagement on programs to deliver improved inventory accuracy in our network. The organization is looking for an experienced Principal Data Scientist to partner with senior leadership to develop long term strategic solutions. As a Principal Scientist, they will lead critical initiatives for Global Supply Chain, leveraging complex data analysis and visualization to:a. Collaborate with business teams to define data requirements and processes;b. Automate data pipelines;c. Design, develop, and maintain scalable (automated) reports and dashboards that track progress towards plans;d. Define, track and report program success metrics.e. Serve as a technical science lead on our most demanding, cross-functional projects.
US, MA, North Reading
Are you inspired by invention? Is problem solving through teamwork in your DNA? Do you like the idea of seeing how your work impacts the bigger picture? Answer yes to any of these and you’ll fit right in here at Amazon Robotics. We are a smart team of doers that work passionately to apply cutting edge advances in robotics and software to solve real-world challenges that will transform our customers’ experiences in ways we can’t even imagine yet. We invent new improvements every day. We are Amazon Robotics and we will give you the tools and support you need to invent with us in ways that are rewarding, fulfilling and fun. The Research Science team at Amazon Robotics is seeking interns with a passion for robotic research to work on cutting edge algorithms for robotics. Our team works on challenging and high-impact projects, including allocating resources to complete a million orders a day, coordinating the motion of thousands of robots, autonomous navigation in warehouses, and learning how to grasp all the products Amazon sells. We are seeking internship candidates with backgrounds in computer vision, machine learning, resource allocation, discrete optimization, search, planning/scheduling, and reinforcement learning. As an intern you will develop a new algorithm to solve one of the challenging computer vision and manipulation problems in Amazon's robotic warehouses. Your project will fit your academic research experience and interests. You will code and test out your solutions in increasingly realistic scenarios and iterate on the idea with your mentor to find the best solution to the problem.
US, WA, Seattle
Are you excited about building high-performance robotic systems that can perceive, learn, and act intelligently alongside humans? The Robotics AI team is creating new science products and technologies that make this possible, at Amazon scale. We work at the intersection of computer vision, machine learning, robotic manipulation, navigation, and human-robot interaction.The Amazon Robotics team is seeking broad, curious applied scientists and engineering interns to join our diverse, full-stack team. In addition to designing, building, and delivering end-to-end robotic systems, our team is responsible for core infrastructure and tools that serve as the backbone of our robotic applications, enabling roboticists, applied scientists, software and hardware engineers to collaborate and deploy systems in the lab and in the field. Come join us!
US, WA, Bellevue
Employer: Amazon.com Services LLCPosition: Research Scientist IILocation: Bellevue, WA Multiple Positions Available1. Research, build and implement highly effective and innovative methods in Statistical Modeling, Machine Learning, and other quantitative techniques such as operational research and optimization to deliver algorithms that solve real business problems.2. Take initiative to scope and plan research projects based on roadmap of business owners and enable data-driven solutions. Participate in shaping roadmap for the research team.3. Ensure data quality throughout all stages of acquisition and processing of the data, including such areas as data sourcing/collection, ground truth generation, data analysis, experiment, evaluation and visualization etc.4. Navigate a variety of data sources, understand the business reality behind large-scale data and develop meaningful science solutions.5. Partner closely with product or/and program owners, as well as scientists and engineers in cross-functional teams with a clear path to business impact and deliver on demanding projects.6. Present proposals and results in a clear manner backed by data and coupled with conclusions to business customers and leadership team with various levels of technical knowledge, educating them about underlying systems, as well as sharing insights.7. Perform experiments to validate the feature additions as requested by domain expert teams.8. Some telecommuting benefits available.The pay range for this position in Bellevue, WA is $136,000-$184,000 (yr); however, base pay offered may vary depending on job-related knowledge, skills, and experience. A sign-on bonus and restricted stock units may be provided as part of the compensation package, in addition to a full range of medical, financial, and/or other benefits, dependent on the position offered. This information is provided by the Washington Equal Pay Act. Base pay information is based on market location. Applicants should apply via Amazon's internal or external careers site.#0000
US, VA, Arlington
The Central Science Team within Amazon’s People Experience and Technology org (PXTCS) uses economics, behavioral science, statistics, and machine learning to proactively identify mechanisms and process improvements which simultaneously improve Amazon and the lives, well-being, and the value of work to Amazonians. We are an interdisciplinary team, which combines the talents of science and engineering to develop and deliver solutions that measurably achieve this goal. As Director for PXT Central Science Technology, you will be responsible for leading multiple teams through rapidly evolving complex demands and define, develop, deliver and execute on our science roadmap and vision. You will provide thought leadership to scientists and engineers to invent and implement scalable machine learning recommendations and data driven algorithms supporting flexible UI frameworks. You will manage and be responsible for delivering some of our most strategic technical initiatives. You will design, develop and operate new, highly scalable software systems that support Amazon’s efforts to be Earth’s Best Employer and have a significant impact on Amazon’s commitment to our employees and communities where we both serve and employ 1.3 million Amazonians. As Director of Applied Science, you will be part of the larger technical leadership community at Amazon. This community forms the backbone of the company, plays a critical role in the broad business planning, works closely with senior executives to develop business targets and resource requirements, influences our long-term technical and business strategy, helps hire and develop engineering leaders and developers, and ultimately enables us to deliver engineering innovations.This role is posted for Arlington, VA, but we are flexible on location at many of our offices in the US and Canada.
US, VA, Arlington
Employer: Amazon.com Services LLCPosition: Data Scientist IILocation: Arlington, VAMultiple Positions Available1. Manage and execute entire projects or components of large projects from start to finish including data gathering and manipulation, synthesis and modeling, problem solving, and communication of insights and recommendations.2. Oversee the development and implementation of data integration and analytic strategies to support population health initiatives.3. Leverage big data to explore and introduce areas of analytics and technologies.4. Analyze data to identify opportunities to impact populations.5. Perform advanced integrated comprehensive reporting, consultative, and analytical expertise to provide healthcare cost and utilization data and translate findings into actionable information for internal and external stakeholders.6. Oversee the collection of data, ensuring timelines are met, data is accurate and within established format.7. Act as a data and technical resource and escalation point for data issues, ensuring they are brought to resolution.8. Serve as the subject matter expert on health care benefits data modeling, system architecture, data governance, and business intelligence tools. #0000
US, TX, Dallas
Employer: Amazon.com Services LLCPosition: Data Scientist II (multiple positions available)Location: Dallas, TX Multiple Positions Available:1. Assist customers to deliver Machine Learning (ML) and Deep Learning (DL) projects from beginning to end, by aggregating data, exploring data, building and validating predictive models, and deploying completed models to deliver business impact to the organization;2. Apply understanding of the customer’s business need and guide them to a solution using AWS AI Services, AWS AI Platforms, AWS AI Frameworks, and AWS AI EC2 Instances;3. Use Deep Learning frameworks like MXNet, PyTorch, Caffe 2, Tensorflow, Theano, CNTK, and Keras to help our customers build DL models;4. Research, design, implement and evaluate novel computer vision algorithms and ML/DL algorithms;5. Work with data architects and engineers to analyze, extract, normalize, and label relevant data;6. Work with DevOps engineers to help customers operationalize models after they are built;7. Assist customers with identifying model drift and retraining models;8. Research and implement novel ML and DL approaches, including using FPGA;9. Develop computer vision and machine learning methods and algorithms to address real-world customer use-cases; and10. Design and run experiments, research new algorithms, and work closely with engineers to put algorithms and models into practice to help solve customers' most challenging problems.11. Approximately 15% domestic and international travel required.12. Telecommuting benefits are available.#0000
US, WA, Seattle
MULTIPLE POSITIONS AVAILABLECompany: AMAZON.COM SERVICES LLCPosition Title: Manager III, Data ScienceLocation: Bellevue, WashingtonPosition Responsibilities:Manage a team of data scientists working to build large-scale, technical solutions to increase effectiveness of Amazon Fulfillment systems. Define key business goals and map them to the success of technical solutions. Aggregate, analyze and model data from multiple sources to inform business decisions. Manage and quantify improvement in the customer experience resulting from research outcomes. Develop and manage a long-term research vision and portfolio of research initiatives, with algorithms and models that to be integrated in production systems. Hire and mentor junior scientists.Amazon.com is an Equal Opportunity-Affirmative Action Employer – Minority / Female / Disability / Veteran / Gender Identity / Sexual Orientation #0000
US, VA, Arlington
MULTIPLE POSITIONS AVAILABLECompany: AMAZON.COM SERVICES LLCPosition Title: Data Scientist IILocation: Arlington, VirginiaPosition Responsibilities:Design and implement scalable and reliable approaches to support or automate decision making throughout the business. Apply a range of data science techniques and tools combined with subject matter expertise to solve difficult business problems and cases in which the solution approach is unclear. Acquire data by building the necessary SQL / ETL queries. Import processes through various company specific interfaces for accessing Oracle, RedShift, and Spark storage systems. Build relationships with stakeholders and counterparts. Analyze data for trends and input validity by inspecting univariate distributions, exploring bivariate relationships, constructing appropriate transformations, and tracking down the source and meaning of anomalies. Build models using statistical modeling, mathematical modeling, econometric modeling, network modeling, social network modeling, natural language processing, machine learning algorithms, genetic algorithms, and neural networks. Validate models against alternative approaches, expected and observed outcome, and other business defined key performance indicators. Implement models that comply with evaluations of the computational demands, accuracy, and reliability of the relevant ETL processes at various stages of production.Amazon.com is an Equal Opportunity-Affirmative Action Employer – Minority / Female / Disability / Veteran / Gender Identity / Sexual Orientation #0000