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.

Recipient

University

Research title

Aws Albarghouthi

University of Wisconsin-Madison

Teaching SMT Solvers Probability Theory

Nada Amin

Harvard University

Extensible Models and Proofs

Nora Ayanian

Brown University

Large-Scale Labeled Multi-Agent Pathfinding for Warehouses

Clark Barrett

Stanford University

HydraScale: Solving SMT Queries in the Serverless Cloud

Ivan Beschastnikh

University of British Columbia

Compiling Distributed System Models into Implementations

Nicola Bezzo

University of Virginia

Towards Safe and Agile Robot Navigation in Occluding and Dynamic Environments

William Bowman

University of British Columbia

Static reasoning for memory in compilers and intermediate languages

Yinzhi Cao

Johns Hopkins University

Automatic Static Resource Analysis for Serverless Computing

Luca Carlone

Massachusetts Institute of Technology

Real-time Spatial AI for Robotics

Trevor Carlson

National University of Singapore

Accelerating SAT Solving with a Flexible FPGA-Programming Platform

Marsha Chechik

University Of Toronto

Unsatisfiability Proofs for Monotonic Theories

Venanzio Cichella

University Of Iowa

Concurrent allocation and planning for large-scale multi-robot systems

Cas Cremers

CISPA Helmholtz Center for Information Security

KeyLife: Automated Formal Analysis for Key Lifecycles in Security Protocols with Policies, Delegation, and Compromise

Elizabeth Croft

Monash University

Help me!: Humans supporting robots through Augmented Reality

Jia Deng

Princeton University

Optimization-Inspired Neural Networks for Visual SLAM

Derek Dreyer

MPI - SWS

RefinedRust: Automating the Verification of Rust Programs in the Presence of Unsafe Code

Tudor Dumitras

University of Maryland, College Park

Mitigating the impact of behavior variability and label noise on ML-based malware detectors

Nima Fazeli

University of Michigan

Object Manipulation with High-Resolution Tactile Sensors

Earlence Fernandes

University of Wisconsin-Madison

Verifiable Distributed Computation

Marcelo Frias

Buenos Aires Institute of Technology

Modular Bounded Verification with Expressive Contracts

Sicun Gao

University of California, San Diego

Interior Search Methods in SMT

Maani Ghaffari-Jadidi

University of Michigan

Robust low-cost dead reckoning and localization for home robotics using invariant state estimation

Roberto Giacobazzi

University of Verona

Implicit program analysis

Ronghui Gu

Columbia University

Learning Inductive Invariants for Real Distributed Protocols

Grace Gu

University of California, Berkeley

Deep learning-enabled robust grasping for pneumatic actuators

Leonidas Guibas

Stanford University

GeneralPurpose 3D Perception of Object Functionality

Arie Gurfinkel

University of Waterloo

Formal Proofs for Trusted Execution Environments

Hamed Haddadi

Imperial College London

Auditable Model Privacy using TEEs

Felix Heide

Princeton University

Inverse Neural Rendering

Ralph Hollis

Carnegie Mellon University

Low Cost Dynamic Mobile Robots for Research and Teaching

Hongxin Hu

SUNY, Buffalo

Explaining Learning-based Intrusion Detection Systems for Active Intrusion Responses

Jean-Baptiste Jeannin

University of Michigan-Ann Arbor

Automatic Verification of Distributed Systems Implementations

Robert Katzschmann

ETH Zurich

Design and Control Optimization of Soft Gripper Mechanisms for Manipulation

Anirudh Sivaraman Kaushalram

New York University

Observing and controlling microservice deployments

Steve Ko

Simon Fraser University

Practical Symbolic Execution for Rust

Sven Koenig

University of Southern California

Hybrid Search- and Traffic-Based MAPF Systems for Fulfillment Centers

George Konidaris

Brown University

Learning Composable Manipulation Skills

Emmanuel Letouzé

Pompeu Fabra University

Leveraging Digital Data for Monitoring Human Rights and Social Dynamics Along and Around Value Chains

Sergey Levine

University of California, Berkeley

Robotic Learning with Reusable Data

Jennifer Lewis

Harvard University

Computational Co-Design of Dexterous Rigid-Soft Grippers With Intrinsic Tactile-Sensing-Based Control

Maja Matarić

University of Southern California

Learning User Preferences for In-Home Robots Through In Situ Augmented Reality

James Noble

Victoria University Of Wellington

“Programming Made Hard” Made Easier: Improving Dafny’s Human Factors

Rohan Padhye

Carnegie Mellon University

Coverage-Guided Property-Based Testing of Concurrent Programs

Jan Peters

TU Darmstadt

Learning Robot Manipulation from Tactile Feedback

Lerrel Pinto

New York University

Visual Imitation in the Wild through Decoupled Representation Learning

Robert Platt

Northeastern University

On-robot manipulation learning via equivariant models

Nancy Pollard

Carnegie Mellon

Contact Areas for Manipulation Capture, Retargeting, and Hand Design

Pavithra Prabhakar

Kansas State University

Conformance Checking of Evolving ML Software Systems

Francesco Ranzato

University of Verona

Implicit program analysis

Sanjay Rao

Purdue University

Answering counterfactuals from offline data for video streaming

Bruno Ribeiro

Purdue University

Answering counterfactuals from offline data for video streaming

Talia Ringer

University of Illinois Urbana-Champaign

Neurosymbolic Proof Synthesis & Repair

Alessandro Rizzo

Politecnico di Torino

Physics-Informed Machine Learning for Trustworthy Control of Autonomous Robots

Camilo Rocha

Pontificia Universidad Javeriana Cali

Probabilistic and Symbolic Tools for P Program Verification

Andrei Sabelfeld

Chalmers University of Technology

DeepCrawl: Automated Reasoning for Deep Web Crawling

Oren Salzman

Technion - Israel Institute of Technology

Increasing throughput in automated warehouses via environment manipulation

Ilya Sergey

National University of Singapore

Scaling Automated Verification of Distributed Protocols with Specification Transformation and Synthesis

Michele Sevegnani

University of Glasgow

From Whiteboards to Models: Diagrammatic Formal Modelling for Everyone

Roland Siegwart

ETH Zurich

Autonomous Navigation of Aerial Robotic Manipulators in Unstructured Indoor and Outdoor Environments

Ramesh Sitaraman

University of Massachusetts Amherst

Design and Evaluation of ABR Algorithms for High-Performance Video Delivery

Fu Song

ShanghaiTech University

Efficient and Precise Verification for Constant-Time and Time-Balancing of Cryptosystems

Zhendong Su

ETH Zurich

Practical Techniques for Reliable, Robust and Performant SMT Solvers

Jiliang Tang

Michigan State University

Taming Graph Anomaly Detection via Graph Neural Networks

Pratap Tokekar

University of Maryland, College Park

Multi-Robot Coordination through the Lens of Risk

Daniel Varro

McGill University

Graph Solver as a Service

Yakir Vizel

Technion - Israel Institute of Technology

Quantified Invariants

David Wagner

University of California, Berkeley

Machine Learning for Malware Detection: Robustness against Concept Drift

James Wang

Pennsylvania State University

Affective and Social Interaction between Human and Intelligent Machine in Daily Activities

Shenlong Wang

University of Illinois Urbana-Champaign

Safely Test Autonomous Vehicles with Augmented Reality

Thomas Wies

New York University

A Modular Library of Verified Concurrent Search Structure Algorithms

Anton Wijs

Eindhoven University of Technology

Many-Core Acceleration of State Space Construction and Analysis

Xinyu Xing

Northwestern University

Battling Noisy-label Classification

Meng Xu

University Of Waterloo

Finding Specification Blind Spots with Fuzz Testing

Yuke Zhu

University of Texas at Austin

Interactive Learning Framework for Building Structured Object Models from Play

Andrew Zisserman

University of Oxford

Audio-Visual Synchronisation for General Videos

Related content

US, NY, New York
We are seeking a Human-Robot Interaction (HRI) Applied Scientist to develop cutting-edge interactions that make robots feel alive, personal, and fun. In this role, you will focus on verbal and non-verbal conversational systems, social dynamics, memory, and long-term relationship formation between robots, their environments, and the people they interact with. Your contributions will be essential in advancing robotics by enabling expressive, socially intelligent, and trustworthy interactions between robots and humans. Key job responsibilities - Develop interactive systems that leverage large language models, multimodal inputs and outputs, reinforcement learning from human feedback, or other advanced techniques to achieve fluid, engaging, and socially appropriate robot behavior - Design and implement intelligent conversational systems that handle turn-taking, grounding, interruption, and incorporates context drawn from a robot's physical environment and shared history with a user - Integrate perceptual sensor streams including gaze, facial expression, gesture, posture, and more to understand social context and produce coherent, lifelike interactions. - Develop memory and personalization systems that allow robots to form lasting relationships with individual users, learn their environments, and adapt their behavior over weeks and months - Stay updated on advancements in HRI, NLP, multimodal AI, and cognitive and social science to apply cutting-edge techniques to robot interaction challenges - Lead technical projects from conception through production deployment - Mentor junior scientists and engineers - Bridge research initiatives with practical engineering implementation
GB, London
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor. The Strata team (https://github.com/strata-org) is seeking an applied scientist with broad interest and expertise in model checking, interactive theorem proving, programming language semantics, and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation. Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/ Key job responsibilities - Work with customer teams to understand the nature of their software and the properties they need to establish of it. - Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required. - Use techniques spanning property-based testing to model checkers, and interactive theorem provers to establish program properties. - Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs. About the team The Agentic Automated Reasoning Group at AWS develops and applies state of the art formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications, with a strong focus on AI based agents. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries.
GB, London
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor. The Strata team (https://github.com/strata-org) is seeking an applied scientist with broad interest and expertise in model checking, interactive theorem proving, programming language semantics, and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation. Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/ Key job responsibilities - Work with customer teams to understand the nature of their software and the properties they need to establish of it. - Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required. - Use techniques spanning property-based testing to model checkers, and interactive theorem provers to establish program properties. - Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs. About the team The Agentic Automated Reasoning Group at AWS develops and applies state of the art formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications, with a strong focus on AI based agents. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries.
US, WA, Seattle
Amazon Rufus Experience Science is seeking a highly motivated Scientist who is passionate about building next-generation shopping experiences. In this role, you will help create conversational shopping journeys where customers can express any shopping need—discovering products, comparing options, finding inspiration, or resolving post-purchase issues. You will collaborate closely with a multidisciplinary team of scientists, engineers, product managers, and designers to deliver these experiences across multiple Rufus customer-facing features.
You will thrive in this role if you enjoy bringing latest research into everyday life—both for customers and for yourself. There’s nothing quite like realizing that a model you deployed yesterday is already improving your own shopping experience today. You will work side by side with scientists and engineers in a fast-paced environment, driving rapid model development and experimentation. You’ll also have access to Amazon’s rich datasets, AWS’s massive computational resources, and a network of world-class science and engineering leaders across the company. Key job responsibilities Execute the science vision and roadmap.

Develop data-driven solutions for the real-world, large scale problems.

Deliver and maintain software and models in the production environment.

Collaborate cross-functionally between product, design, and engineering.
US, NY, New York
We are looking for a passionate Applied Scientist to help pioneer the next generation of agentic AI applications for Amazon advertisers. In this role, you will design agentic architectures, develop tools and datasets, and contribute to building systems that can reason, plan, and act autonomously across complex advertiser workflows. You will work at the forefront of applied AI, developing methods for fine-tuning, reinforcement learning, and preference optimization, while helping create evaluation frameworks that ensure safety, reliability, and trust at scale. You will work backwards from the needs of advertisers—delivering customer-facing products that directly help them create, optimize, and grow their campaigns. Beyond building models, you will advance the agent ecosystem by experimenting with and applying core primitives such as tool orchestration, multi-step reasoning, and adaptive preference-driven behavior. This role requires working independently on ambiguous technical problems, collaborating closely with scientists, engineers, and product managers to bring innovative solutions into production. Key job responsibilities - Design and build agents to guide advertisers in conversational and non-conversational experience. - Design and implement advanced model and agent optimization techniques, including supervised fine-tuning, instruction tuning and preference optimization (e.g., DPO/IPO). - Curate datasets and tools for MCP. - Build evaluation pipelines for agent workflows, including automated benchmarks, multi-step reasoning tests, and safety guardrails. - Develop agentic architectures (e.g., CoT, ToT, ReAct) that integrate planning, tool use, and long-horizon reasoning. - Prototype and iterate on multi-agent orchestration frameworks and workflows. - Collaborate with peers across engineering and product to bring scientific innovations into production. - Stay current with the latest research in LLMs, RL, and agent-based AI, and translate findings into practical applications. About the team The Sponsored Products and Brands team at Amazon Ads is re-imagining the advertising landscape through the latest generative AI technologies, revolutionizing how millions of customers discover products and engage with brands across Amazon.com and beyond. We are at the forefront of re-inventing advertising experiences, bridging human creativity with artificial intelligence to transform every aspect of the advertising lifecycle from ad creation and optimization to performance analysis and customer insights. We are a passionate group of innovators dedicated to developing responsible and intelligent AI technologies that balance the needs of advertisers, enhance the shopping experience, and strengthen the marketplace. If you're energized by solving complex challenges and pushing the boundaries of what's possible with AI, join us in shaping the future of advertising. The Campaign Strategies team within Sponsored Products and Brands is focused on guiding and supporting 1.6MM advertisers to meet their advertising needs of creating and managing ad campaigns. At this scale, the complexity of diverse advertiser goals, campaign types, and market dynamics creates both a massive technical challenge and a transformative opportunity: even small improvements in guidance systems can have outsized impact on advertiser success and Amazon’s retail ecosystem. Our vision is to build a highly personalized, context-aware agentic advertiser guidance system that leverages LLMs together with tools such as auction simulations, ML models, and optimization algorithms. This agentic framework, will operate across both chat and non-chat experiences in the ad console, scaling to natural language queries as well as proactively delivering guidance based on deep understanding of the advertiser. To execute this vision, we collaborate closely with stakeholders across Ad Console, Sales, and Marketing to identify opportunities—from high-level product guidance down to granular keyword recommendations—and deliver them through a tailored, personalized experience. Our work is grounded in state-of-the-art agent architectures, tool integration, reasoning frameworks, and model customization approaches (including tuning, MCP, and preference optimization), ensuring our systems are both scalable and adaptive.
US, CA, San Francisco
Join the next revolution in robotics at Amazon's Frontier AI & Robotics team, where you'll work alongside world-renowned AI pioneers to push the boundaries of what's possible in robotic intelligence. As a Member of Technical Staff, you'll be at the forefront of developing breakthrough foundation models that enable robots to perceive, understand, and interact with the world in unprecedented ways. You'll drive independent research initiatives in areas such as perception, manipulation, science understanding, locomotion, manipulation, sim2real transfer, multi-modal foundation models and multi-task robot learning, designing novel frameworks that bridge the gap between state-of-the-art research and real-world deployment at Amazon scale. In this role, you'll balance innovative technical exploration with practical implementation, collaborating with platform teams to ensure your models and algorithms perform robustly in dynamic real-world environments. You'll have access to Amazon's vast computational resources, enabling you to tackle ambitious problems in areas like very large multi-modal robotic foundation models and efficient, promptable model architectures that can scale across diverse robotic applications. Key job responsibilities - Drive independent research initiatives across the robotics stack, including robotics foundation models, focusing on breakthrough approaches in perception, and manipulation, for example open-vocabulary panoptic scene understanding, scaling up multi-modal LLMs, sim2real/real2sim techniques, end-to-end vision-language-action models, efficient model inference, video tokenization - Design and implement novel deep learning architectures that push the boundaries of what robots can understand and accomplish - Lead full-stack robotics projects from conceptualization through deployment, taking a system-level approach that integrates hardware considerations with algorithmic development, ensuring robust performance in production environments - Collaborate with platform and hardware teams to ensure seamless integration across the entire robotics stack, optimizing and scaling models for real-world applications - Contribute to the team's technical strategy and help shape our approach to next-generation robotics challenges A day in the life - Design and implement novel foundation model architectures and innovative systems and algorithms, leveraging our extensive infrastructure to prototype and evaluate at scale - Collaborate with our world-class research team to solve complex technical challenges - Lead technical initiatives from conception to deployment, working closely with robotics engineers to integrate your solutions into production systems - Participate in technical discussions and brainstorming sessions with team leaders and fellow scientists - Leverage our massive compute cluster and extensive robotics infrastructure to rapidly prototype and validate new ideas - Transform theoretical insights into practical solutions that can handle the complexities of real-world robotics applications About the team At Frontier AI & Robotics, we're not just advancing robotics – we're reimagining it from the ground up. Our team is building the future of intelligent robotics through innovative foundation models and end-to-end learned systems. We tackle some of the most challenging problems in AI and robotics, from developing sophisticated perception systems to creating adaptive manipulation strategies that work in complex, real-world scenarios. What sets us apart is our unique combination of ambitious research vision and practical impact. We leverage Amazon's massive computational infrastructure and rich real-world datasets to train and deploy state-of-the-art foundation models. Our work spans the full spectrum of robotics intelligence – from multimodal perception using images, videos, and sensor data, to sophisticated manipulation strategies that can handle diverse real-world scenarios. We're building systems that don't just work in the lab, but scale to meet the demands of Amazon's global operations. Join us if you're excited about pushing the boundaries of what's possible in robotics, working with world-class researchers, and seeing your innovations deployed at unprecedented scale.
US, NY, New York
We are seeking an Applied Scientist to lead the development of evaluation frameworks and data collection protocols for robotic capabilities. In this role, you will focus on designing how we measure, stress-test, and improve robot behavior across a wide range of real-world tasks. Your work will play a critical role in shaping how policies are validated and how high-quality datasets are generated to accelerate system performance. You will operate at the intersection of robotics, machine learning, and human-in-the-loop systems, building the infrastructure and methodologies that connect teleoperation, evaluation, and learning. This includes developing evaluation policies, defining task structures, and contributing to operator-facing interfaces that enable scalable and reliable data collection. The ideal candidate is highly experimental, systems-oriented, and comfortable working across software, robotics, and data pipelines, with a strong focus on turning ambiguous capability goals into measurable and actionable evaluation systems. Key job responsibilities - Design and implement evaluation frameworks to measure robot capabilities across structured tasks, edge cases, and real-world scenarios - Develop task definitions, success criteria, and benchmarking methodologies that enable consistent and reproducible evaluation of policies - Create and refine data collection protocols that generate high-quality, task-relevant datasets aligned with model development needs - Build and iterate on teleoperation workflows and operator interfaces to support efficient, reliable, and scalable data collection - Analyze evaluation results and collected data to identify performance gaps, failure modes, and opportunities for targeted data collection - Collaborate with engineering teams to integrate evaluation tooling, logging systems, and data pipelines into the broader robotics stack - Stay current with advances in robotics, evaluation methodologies, and human-in-the-loop learning to continuously improve internal approaches - Lead technical projects from conception through production deployment - Mentor junior scientists and engineers About the team Fauna Robotics, an Amazon company, is building capable, safe, and genuinely delightful robots for everyday life. Our goal is simple: make robots people actually want to live and interact with in everyday human spaces. We believe that future won’t arrive until building for robotics becomes far more accessible. Today, too much effort is spent reinventing the fundamentals. We’re changing that by developing tightly integrated hardware and software systems that make it faster, safer, and more intuitive to create real-world robotic products. Our work spans the full stack: mechanical design, control systems, dynamic modeling, and intelligent software. The focus is not just functionality, but experience. We’re building robots that feel responsive, expressive, and genuinely useful. At Fauna, you’ll work at the frontier of this space, helping define how robots move, manipulate, and interact with people in natural environments. It’s an opportunity to solve hard problems across hardware and software with a team focused on making robotics accessible and joyful to build. If you care about making robotics real for everyone and building systems that are as delightful as they are capable, we’re interested in hearing from you.
US, MA, N.reading
Amazon is seeking exceptional talent to help develop the next generation of advanced robotics systems that will transform automation at Amazon's scale. We're building revolutionary robotic systems that combine cutting-edge AI, sophisticated control systems, and advanced mechanical design to create adaptable automation solutions capable of working safely alongside humans in dynamic environments. This is a unique opportunity to shape the future of robotics and automation at an unprecedented scale, working with world-class teams pushing the boundaries of what's possible in robotic dexterous manipulation, locomotion, and human-robot interaction. This role presents an opportunity to shape the future of robotics through innovative applications of deep learning and large language models. At Amazon we leverage advanced robotics, machine learning, and artificial intelligence to solve complex operational challenges at an unprecedented scale. Our fleet of robots operates across hundreds of facilities worldwide, working in sophisticated coordination to fulfill our mission of customer excellence. The ideal candidate will contribute to research that bridges the gap between theoretical advancement and practical implementation in robotics. You will be part of a team that's revolutionizing how robots learn, adapt, and interact with their environment. Join us in building the next generation of intelligent robotics systems that will transform the future of automation and human-robot collaboration. Key job responsibilities - Design and implement whole body control methods for balance, locomotion, and dexterous manipulation - Utilize state-of-the-art in methods in learned and model-based control - Create robust and safe behaviors for different terrains and tasks - Implement real-time controllers with stability guarantees - Collaborate effectively with multi-disciplinary teams to co-design hardware and algorithms for loco-manipulation - Mentor junior engineer and scientists
US, WA, Seattle
Do you want to work on Reinforcement Learning (RL) post-training of frontier Large Language Models (LLMs) to revolutionize customer service? Come join the world class researchers and academics in the AWS AI endeavor, and develop the science that powers countless new businesses in cloud computing! AWS, the world-leading provider of cloud services. Our customers bring problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate impact in the world. You will have the opportunity to partner with technology and business teams to solve real-world problems, have access to virtually endless data and computational resources, and to world-class engineers and developers that can help bring your ideas into the world. As part of the team, we expect that you will develop innovative solutions to hard problems, and publish your findings at peer reviewed conferences and journals. The scientific topics you are going to work on include, but are not limited to: LLM post-training to improve capabilities particularly for instruction following, reasoning over long context, and tool use, etc. About the team Why AWS Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses. Inclusive Team Culture Here at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness. Work/Life Balance We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve in the cloud. Mentorship and Career Growth We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional. Diverse Experiences Amazon values diverse experiences. Even if you do not meet all of the preferred qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.
US, CA, San Francisco
PXT Central Science is seeking an exceptional Data Scientist to join our team. The ideal candidate will thrive in a dynamic, multifaceted role where you'll translate complex business challenges into rigorous quantitative frameworks, extract actionable insights from structured and unstructured datasets, and architect science-backed, scalable solutions that elevate the experience of our 1 million+ employees worldwide. If you're energized by the opportunity to apply data science to our mission of making Amazon Earth's Best Employer, we want to hear from you. Key job responsibilities • Own the design, development, and maintenance of scalable models and prototypes leveraging statistical, machine learning, or GenAI methodologies to enhance employee experience. • Partner with scientists, engineers, and product leaders to solve for employee experience defects using scientific approaches, building new services and tools that deliverable measurable impact. • Author and maintain detailed technical documentation related to the projects you drive. • Communicate results to diverse audiences of varying technical background with effective writing, visualizations, and presentations • Stay current with emerging methods and technologies, and implement them strategically to amplify the team’s impact. About the team The Central Science Team within Amazon’s People Experience and Technology org (PXTCS) uses economics, behavioral science, statistics, machine learning, and Generative AI 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, engineering, and UX to develop and deliver solutions that measurably achieve this goal.