ARA-Fall25-16x9.png

Fall 2025 Amazon Research Awards recipients announced

Awardees represent more than 49 universities in 11 countries. Recipients have access to Amazon public datasets, along with AWS AI/ML services and tools.

Amazon Research Awards (ARA) provides unrestricted funds and AWS Promotional Credits to academic researchers investigating various research topics in multiple disciplines. This cycle, ARA received many excellent research proposals from across the world and today is publicly announcing 70 award recipients who represent 49 universities in 11 countries.

This announcement includes awards funded under 6 calls for proposals during the fall 2025 cycle: AI for Information Security, Agentic AI , Automated Reasoning, AWS Cryptography, Cybersecurity and Anti-Abuse Technologies, and Sustainability Proposals were reviewed for the quality of their scientific content and their potential to impact both the research community and society. 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.

Recipients have access to more than 700 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.

"Fraud and abuse evolve at the speed of the technologies that bad actors exploit. Since we can only defend against what we can measure, the science of studying those technologies has to keep pace," said Dhruv Kuchhal, Applied Scientist, Special Projects & Invest-Fixed. "Through ARA, we bring together experts across industry and academia to tackle these problems upstream and publish defenses that systematically raise bad actors' operating costs and erode their ROI as they spread across the ecosystem. This not only strengthens Amazon, but the broader Web, including online shopping customers, sellers and brands who build businesses online, and the platforms and payment rails that tie them together. We were impressed by the quality and volume of proposals we received — a strong signal that the field is raising the bar for Web users everywhere — and we look forward to working with the new recipients to turn this research into lasting, ecosystem-wide improvements in fraud and abuse prevention."

“AI is reshaping cybersecurity faster than ever in advancing how we detect threats and defend systems, ”said Wei Ding, Applied Science Manager, GuardDuty, AWS. “At the same time, agentic AI requires stronger guarantees of safety, robustness, and trust worthiness. Since 2020, our team has funded security research that solves some of the biggest challenges for the industry. We’re pleased to continue our tradition of fostering innovation through these latest research projects addressing agentic AI security, AI-powered incident response, and threat detection in agentic AI systems and cloud environments, among other exciting areas.”

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

The tables below list, in alphabetical order by last name, fall 2025 cycle call-for-proposal recipients, sorted by research

AI for Information Security

Recipient

University

Research title

Peng Gao

Virginia Polytechnic Institute and State University

CortexCTI: A Unified Threat Intelligence Engine for Knowledge-Driven Cloud Threat Detection and Response

Guofei Gu

Texas A&M University

New Benchmark and Defense on Prompt Injection in Agentic AI Systems

Xiyang Hu

Arizona State University

Securing Agentic AI: From Local Detection to Global Assurance

Adriana Sejfia

The University of Edinburgh

Exploit-driven AI Agents for vulnerability detection verification

Yue Zhao

University of Southern California

Securing Agentic AI: From Local Detection to Global Assurance

Automated Reasoning

Recipient

University

Research title

Jonathan Aldrich

Carnegie Mellon University

A Visual Debugger for Program Verification

Dalal Alrajeh

Imperial College London

SOLAR: Symbolic Learning for Automated Requirements Consistency

Maria Paola Bonacina

University of Verona

New Data Structure Theories and Quantifiers in CDSAT

Jason Cong

University of California Los Angeles

Breaking the Parallelism Limit with SAT-solving Accelerators

Lucas Cordeiro

The University of Manchester

Combining Formal Methods with Large Language Models in ESBMC: Enabling Automated Program Verification through AI/ML

Werner Dietl

University of Waterloo

Strata-Sphere: Expressive Type Systems and Language Formalizations

Katalin Fazekas

TU Wien

PASSAT: Improved Passing of Assertion Stacks to SAT in Incremental SMT Solvers

Sicun Gao

University of California San Diego

Evaluating and Improving Quantitative Reasoning in LLM Agents Using Sandbox Coding Tasks and Formal Tools

Milos Gligoric

The University of Texas at Austin

Documenting and Recommending Tactics in HOL Light

Ronghui Gu

Columbia University in the City of New York

Scaling Formal Verification of Security Properties for Unmodified System Software

Tyler Josephson

University of Maryland Baltimore County

Autoformalization for Scientific Computing in Lean

Junyi Jessy Li

The University of Texas at Austin

Documenting and Recommending Tactics in HOL Light

Xiaorui Liu

North Carolina State University

Neurosymbolic LLM Reasoning with Symbolical Soundness and Logical Consistency

Azalea Raad

Imperial College London

Soteria in Lean: Mechanising the Next Generation of Symbolic Execution Tools

Dominik Schreiber

Karlsruhe Institute of Technology

Resource-Efficient Flexible SAT Solving in HPC and Cloud Environments

Ilya Sergey

National University of Singapore

Linear Types for a Foundational Multi-Modal Program Verifier

Peter Sewell

University of Cambridge

Gradual Lightweight Methods for High-Assurance Cloud Infrastructure

Paulo Shakarian

Syracuse University

Non-Markovian Agentic Meta-Reasoning

Armando Solar-Lezama

Massachusetts Institute of Technology

Synthesizing Library Models for Static Analysis via LLMs and Conformance Testing

Salil Vadhan

Harvard University

Translating Formal Proofs of Differential Privacy via LLMs

Nickolai Zeldovich

Massachusetts Institute of Technology

Verifying Rust distributed system implementations using monotonic ownership state machines in Verus

Xuezhou Zhang

Boston University

Auto-Formalization and Informalization through Two-Stage Reinforcement Learning

Tianyi Zhang

Purdue University

Scaling Interprocedural Data-Flow Analysis with LLMs

AWS Agentic AI

Recipient

University

Research title

Raman Arora

Johns Hopkins University

Multi-Party Differential Privacy: Unlocking Enterprise Agentic AI

Fanglin Che

Worcester Polytechnic Institute

Autonomous Catalyst Design with Agentic AI for Hydrogen Production

Muhao Chen

University of California Davis

FlowGuard: Evolutionary Red-Teaming for Safe Multimodal Web Agents

Ioannis Demertzis

University of California Santa Cruz

CAMEO: Confidential Agentic Multi-component Enclave Orchestration

Caiwen Ding

University of Minnesota Twin Cities

End-to-End Agentic AI for Scalable Chiplet Design with Extreme Parallelism and Heterogeneity

Ariel Felner

Ben-Gurion University of the Negev

Multi-Agent Pathfinding with Unassigned Agents

Zhaomiao Guo

The University of Texas at Austin

From Observation to Intervention: Counterfactual Multi-Agent World Models for Autonomous Driving

Jiangen He

The University of Tennessee-Knoxville

Beyond Walls of Text: Building UI-Native LLM Agents as the Next Gateway to the Internet

Fan Lai

University of Illinois at Urbana-Champaign

Reinforcing Coordination: Streaming, Exploration, and Distillation for Long-Horizon Agent Learning

Ziyang Li

Johns Hopkins University

A Protocol Stack for Resource-Bound Multi-Agent AI

Henry Liu

University of Michigan

Automating Large Scale Deployment of Infrastructure-based Safety Critical Event Detection with Agentic AI

Bryan Low Kian Hsang

National University of Singapore

Self-Configurable Agentic Learning via Co-optimization

Chinmay Maheshwari

Johns Hopkins University

Markov Near-Potential Function Based MARL Training for Mixed Cooperative–Competitive Agentic AI

Arash Noshadravan

Texas A&M University

A Retrieval-Augmented Dual-Attention Vision Framework for Standards-Aligned Infrastructure Inspection

Muhammad Shafique

New York University Abu Dhabi

AVAAS – Automated Vulnerability Analysis Through Advanced Agentic Systems

Roni Stern

Ben-Gurion University of the Negev

Multi-Agent Pathfinding with Unassigned Agents

Zhengzhong Tu

Texas A&M University

FlowGuard: Evolutionary Red-Teaming for Safe Multimodal Web Agents

Lu Wang

University of Michigan

Benchmarking and Monitoring Multi-Agent Scheming

Yuke Wang

Rice University

Empowering Multimodal AI Agents with Continuous Learning

Hamed Zamani

University of Massachusetts Amherst

A Framework for Proactive and Collaborative AI Agents

Yang Zhao

University of Minnesota Twin Cities

End-to-End Agentic AI for Scalable Chiplet Design with Extreme Parallelism and Heterogeneity

Victor Zhong

University of Waterloo

KNOWLEDGESTORE: A Dynamic Hierarchical Memory for Scalable, Enterprise-Ready AI Agents on AWS

AWS Cryptography

Recipient

University

Research title

Sri AravindaKrishnan Thyagarajan

The University of Sydney

Efficient Robust Post-Quantum Distributed Key Generation and Threshold Signatures

Daniel J. Bernstein

University of Illinois at Chicago

Formally verified symmetric cryptography

Jeremiah Blocki

Purdue University

Stronger Memory Hard Functions to Protect Passwords against Brute Force Attacks

Geoffroy Couteau

Paris Cité University

Pseudorandom Correlations for Threshold Cryptography

Yevgeniy Dodis

New York University

Machine Unlearning and Computational Assumptions for AI

Zhengzhong Jin

Northeastern University - United States of America

Practical Watermarking for LLMs via Pseduorandom Codes

Yael Kalai

Massachusetts Institute of Technology

Enhancing AI Safety Using Cryptography

John Liagouris

Boston University

Pushing secure MPC beyond niche applications

Rafail Ostrovsky

University of California Los Angeles

Towards Low-Latency Maliciously Secure MPC for LLMs

Rachel Player

Royal Holloway - University of London

New Approaches for the Linear Transform in BFV/BGV

Elaine Shi

Carnegie Mellon University

Practical Secure Computation At Scale

Akshayaram Srinivasan

University of Toronto

Simultaneous-Message and Succinct Secure Computation

Douglas Stebila

University of Waterloo

FantASM: Fast, Auditable, and Neat Assembly

Ni Trieu

Arizona State University

Fuzzy Secure Computation for Real-World Noisy Data

Xiao Wang

Northwestern University - United States of America

From Signing to Garbling: Exploring the Spectrum of Post-Quantum Primitives

Mark Zhandry

Stanford University

Algorithms for Post-Quantum Cryptography

Jiaheng Zhang

National University of Singapore

Practical Watermarking for LLMs via Pseduorandom Codes

Vassilis Zikas

Georgia Institute of Technology

Fuzzy Secure Computation for Real-World Noisy Data

Cybersecurity and Anti-Abuse Technologies

Recipient

University

Research title

Geoffrey Voelker

University of California San Diego

Detecting Anti-detect Browsers at Scale

Devices Sustainability

Recipient

University

Research title

Udit Gupta

Cornell University

Agent-Driven Life Cycle Carbon Optimization for Sustainable Edge Devices

Adriana Schulz

Brown University

Integrating Sustainability Reasoning into Early-Stage Electronics Design

Related content

CN, 31, Shanghai
As WWGS is committed to building an AI-native, agentic organization, the heart of SSG's evolution is to reinvent how we engage sellers with an AI-first mindset. Delivering that ambition at scale demands breakthrough innovation in our foundational capabilities, at ever-faster speed. To meet these priorities with the pace and focus they require, we are standing up a dedicated team, organized as a POD model - a lean, cross-functional team led by a single owner who holds end-to-end decisions and the business outcome, so we can move at the speed the business demands. Our priority is to build the capability to reach the right sellers at scale, anchored on two pillars: Seller Tagging and Good Contact. Through Seller Tagging, we will turn today's fragmented, siloed seller signals into a unified seller intelligence capability that deepens and broadens how well we truly understand every seller. Through Good Contact, we will resolve the seller identity gaps across our channels and systems, so that every engagement and every system that depends on it, can consistently reach the right seller contact. The Data Scientist will be part of the POD team and support the team to establish structured data governance and model training framework, and trail predict models with real business use cases. Key job responsibilities Design and deliver seller segmentation and propensity models at scale — incorporating GMS, category, growth trajectory, engagement signals, and lifecycle stage. Build contact quality scoring and lifecycle management systems (coverage optimization, dormancy detection, reactivation modeling). Define success metrics, experimentation frameworks (A/B, causal inference), and measurement methodology for seller engagement interventions. Productionize ML models and data products — partner with engineering to deploy seller scores, contact quality indices, and recommendation signals. Explore LLM/GenAI applications: automated insight generation from seller data, contact intent classification, and intelligent report synthesis. Serve as the science representative in bi-weekly NBS theme reviews; present findings and proposals to theme Bar Raisers and leadership. Collaborate with BIE team members to democratize analytical outputs via dashboards and self-serve tools. Contribute to cross-marketplace seller behavior analysis supporting Global Expansion strategy (IN, KR, VN, LATAM). Evaluate, integrate, and iterate on AI systems — assess new AI/ML tools, frameworks, and third-party models for applicability to seller intelligence use cases.
US, WA, Bellevue
The Central Learning Solutions (CLS) Science team in Amazon Operations builds state-of-the-art solutions for enhancing leadership and associate development across the organization. We develop technology and mechanisms for building personalized learning experiences based on the profiles of different learners and assess the post-training performance curves for different learner profiles. As a Data Scientist on the team, you will be driving the data science roadmap for the CLS Science team. You will leverage your knowledge in statistics and econometrics, estimate the causal impact of training interventions, recommend the right interventions for a given learner profile, and measure the post-launch success of these interventions through A/B weblabs. These insights will help in dynamically changing the training content of Learning & Development courses and unlock opportunities to improve both training effectiveness and learner experience. You will collaborate effectively with internal stakeholders and cross-functional teams for solving business problems, create operational efficiencies, and deliver successfully against high organizational standards. Key job responsibilities - Establish scalable, efficient, automated processes for large scale data analyses, model development, model validation and implementation. - Use advanced causal inference methodologies to estimate the learning curves for different learner profiles and the effectiveness of training content. - Perform statistical analysis and statistical tests including hypothesis testing and A/B testing. - Implement new statistical, machine learning, or other mathematical methodologies to solve specific business problems. - Present deep dives and analysis to both technical and non-technical stakeholders, ensure clarity, and influence the strategy of business partners. About the team Central Learning Solutions (CLS) is the centralized technical team that builds Learning & Development products for North America Operations employees. CLS Science teams owns the science components that power the different products on Impact Estimation, Self Serve Analytics, Content Understanding, and Personal learning.
IT, Turin
We're building systems that turn research into real world impact. We're advancing the intelligence behind how customers converse, connect and interact with Alexa across the globe and we're tackling complex conversational AI challenges with state of the art GenAI systems. We're looking for PhD students across multiple research domains to invent, design, and implement state of the art solutions for never before solved problems. Your work here won't just stay in a notebook, it ships to production and reaches customers worldwide. Check out the details below including the job responsibilities, team details, and basic qualifications before submitting your application. You can find more information about the Amazon Science community as well as interview preparation tips via the links below; - https://www.amazon.science/ - https://amazon.jobs/content/en/career-programs/university/science - https://amazon.jobs/content/en/how-we-hire/university-roles/applied-science Key job responsibilities As an Applied Science Intern, you will own the design and development of end-to-end systems. You'll have the opportunity to write technical white papers, create 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. You will have the opportunity to design new algorithms, models, or other technical solutions whilst experiencing Amazon's customer focused culture. The ideal intern should have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. A day in the life You'll spend your first weeks scoping your project with your mentor, then own the research and implementation end-to-end. Projects may include developing and implementing real-time AI services, conducting comprehensive analysis of GenAI algorithms and methodologies or contributing to the creation of reliable, efficient code for production systems that serve millions of users — depending on the team you're matched with. Many interns publish at top-tier conferences or see their work deployed to production before the internship ends. Interns may also be considered for a return offer at the end of their internship, subject to performance evaluation and headcount availability. Further benefits of an Amazon Science internship include; - All of our internships offer a competitive salary - Interns are paired with an experienced manager and mentor(s) - Interns get invited to different intern program or office events - Interns can build their professional and personal network with other Amazon Scientists - Interns can potentially publish work at top tier conferences About the team You'll submit a single application and we'll match you with science teams best aligned with your research interests. Applications are reviewed on a rolling basis, and your application stays active until we find a team match or confirm there are no matches available. Start dates are available throughout the year for durations of between 3–6 months. Please note, each team has different start date and duration preferences — your recruiter will confirm the preferences of the team you're matched with prior to interviewing. We offer science internships in multiple locations across the EMEA region and you can indicate your interest in all these locations by applying here (Austria, Estonia, France, Germany, Ireland, Israel, Italy, Jordan, Luxembourg, Netherlands, Poland, Romania, South Africa, Spain, Sweden, UAE, and UK). Please note we do not offer remote internships.
US, NY, New York
Do you want to lead the Ads industry and redefine how we measure the effectiveness of Amazon Ads business? Are you passionate about causal inference, Deep Learning & AI, raising the science bar, and connecting leading-edge science research to Amazon-scale implementation? If so, come join Amazon Ads to be a science leader within our Advertising Incrementality Measurement science team! Our work builds the foundations for providing customer-facing advertising measurement tools, furthering internal research & development, and building out Amazon's advertising measurement offerings. Incrementality is a lynchpin for the next generation of Amazon Advertising measurement solutions, and this role will play a key role in the release and expansion of these offerings. We are looking for a thought leader that has an aptitude for delivering customer-focused solutions and who enjoys working on the intersection of Big-Data analytics, Machine/Deep Learning, and Causal Inference. A successful candidate will be a self-starter, comfortable with ambiguity, able to think big and be creative, while still paying careful attention to detail. You should be able to translate how data represents the customer journey, be comfortable dealing with large and complex data sets, and have experience using machine learning and/or econometric modeling to solve business problems. You should have strong analytical and communication skills, be able to work with product managers to define key business questions and work with the engineering team to bring our solutions into production. You will join a highly collaborative and diverse working environment that will empower you to shape the future of Amazon advertising, and also allow you to become part of our large science community. Key job responsibilities • Apply expertise in ML/DL, AI, and causal modeling to develop new models that describe how advertising impacts customers’ actions • Own the end-to-end development of novel scientific models that address the most pressing needs of our business stakeholders and help guide their future actions • Improve upon and simplify our existing solutions and frameworks • Review and audit modeling processes and results for other scientists, both junior and senior • Work with leadership to align our scientific developments with the business strategy • Identify new opportunities that are suggested by the data insights • Bring a department-wide perspective into decision making • Develop and document scientific research to be shared with the greater science community at Amazon About the team AIM is a cross disciplinary team of engineers, product managers, economists, data scientists, and applied scientists with a charter to build scientifically-rigorous causal inference methodologies at scale. Our job is to help customers cut through the noise of the modern advertising landscape and understand what actions, behaviors, and strategies actually have a real, measurable impact on key outcomes. The data we produce becomes the effective ground truth for advertisers and partners making decisions affecting millions in advertising spend.
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.
IN, KA, Bangalore
Are you passionate about solving complex logistics challenges? Our Analytics team is at the forefront of enhancing delivery experiences through data-driven solutions and innovative technology. As a Research Scientist, you will join a team dedicated to optimizing our delivery network, ensuring reliable and efficient service to our customers. We are seeking an enthusiastic, customer-centric professional with strong analytical capabilities to drive impactful projects, implement advanced solutions, and develop scalable processes. In this role, you will have immediate ownership of business-critical challenges and the opportunity to make strategic, data-driven decisions that shape the future of our delivery operations. Your work will directly influence customer experience and operational excellence. The ideal candidate will possess both research science capabilities and program management skills, thriving in an environment that requires independent decision-making and comfort with ambiguity. This role offers the opportunity to make a significant impact on our advanced logistics network while working with pioneering technology and data science applications. Basic qualifications • 3+ years of building machine learning models for business application experience • Knowledge of programming languages such as C/C++, Python, Java or Perl • Experience programming in Java, C++, Python or related language • Experience with neural deep learning methods and machine learning Preferred qualifications: • PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field • 5+ years of extensive relevant research experience • Deep expertise in Machine Learning • Proficiency in programming • Core competency in mathematics and statistics • Track record of successful projects in algorithm design and product development • Publications at peer-reviewed conferences or journals • Strategic thinker with good execution skills • Exhibits excellent business judgment • Effective verbal and written communication skills • Experience working with real-world data sets and building scalable models from big data • Experience with modern modeling tools and frameworks such as R, scikit-learn, Spark MLLib, MxNet, Tensorflow • Experience with large scale distributed systems
US, WA, Bellevue
Amazon Global Fleet and Products (GFP) organization is responsible for fleet programs and capacity. The Fleet Planning team is looking for a Data Scientist to drive the most efficient use of fleet. Amazon Middle and Last Mile fleet planning is a complex resource allocation problem. The goal of fleet allocation planning is to optimize the size and mix of fleet allocated to various programs through. Changes in routes, network, exiting DSPs and new DSP onboarding create continuous need for re-allocation of fleet to maintain an efficient network capacity. This requires allocation to adhere to various operational limits (repair network, EV range, Station Charging capability) and also match route’s cube need to vehicles capacity. As a Data Scientist on the Fleet Planning team (GFP), you will be responsible for building new science models (linear programs, statistical and ML models) and enhancing existing models for changing business needs. You would work with program managers in planning, procurement, redeployment, deployment, remarketing, variable fleet and infrastructure programs to build models that would support the requirements of all programs in a coherent plan. Key job responsibilities • Build models and automation for planners for generating vehicle allocation plans • Partner with program teams to test and measure success of implemented model • Lead reviews with senior leadership, deep dive model outputs and explain implications of model recommendations.
IN, KA, Bengaluru
We are looking for Applied Scientists to advance how Minerva detects and responds to risk across KDP and Kindle Unlimited, building new models and raising the bar on the ones in production. You will own a problem end to end, from framing and modeling through evaluation and production launch, working with scientists and engineers in Bengaluru and the US. Key job responsibilities - Monitor production risk models and push their quality higher: track performance and drift, improve how performance is measured, and lead the deep-dive science that turns model behavior into better detection. - Design, train, and evaluate improved detection models, and take them to production with engineering partners. - Build datasets, labels, evaluation sets, and metrics, and strengthen them as abuse patterns change. - Write clear readouts with recommendations for scientists, engineers, and policy partners. About the team Kindle Direct Publishing (KDP) has empowered a new wave of self-motivated creators, tearing down barriers that once blocked writers from reaching readers. Minerva is the science and analytics organization for Amazon's Books business. We build systems for content understanding, author marketing and discovery, fraud and abuse prevention, and content risk, and we optimize manufacturing, fulfillment, and quality for Print On Demand (POD). We have mature areas and green-field opportunities, with engineering, business intelligence, and data engineering support across our areas. We are now building science teams in Bengaluru that work closely with our scientists in the US. Risk Science, a team within Minerva, keeps fraud, abuse, copyright infringement, and harmful content out of the Books catalog and programs such as Kindle Unlimited, using text, image, and behavioral data.
US, NY, New York
We are seeking a Robotics/AI Motor Control Scientist to develop cutting-edge machine learning algorithms for motor control systems in robots. In this role, you will focus on creating and optimizing intelligent motor control strategies to enable robots to perform complex, whole-body tasks. Your contributions will be essential in advancing robotics by enabling fluid, reliable, and safe interactions between robots and their environments. Key job responsibilities - Develop controllers that leverage reinforcement learning, imitation learning, or other advanced AI techniques to achieve natural, robust, and adaptive motor behaviors - Collaborate with multi-disciplinary teams to integrate motor control systems with robotic hardware, ensuring alignment with real-world constraints such as actuator dynamics and energy efficiency - Use simulation and real-world testing to refine and validate control algorithms - Stay updated on advancements in robotics, AI, and control systems to apply advanced techniques to robotic motion challenges - Lead technical projects from conception through production deployment - Mentor junior scientists and engineers - Bridge research initiatives with practical engineering implementation 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. 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, CA, Pasadena
We are seeking Applied and Research Scientists to join the Safe Autonomy Frontiers (SAF) Lab. In this role, you will develop and deploy the science of safe autonomy on highly dynamic robots, advancing the frontier through both foundational research and realization on hardware. You will contribute to achieving safe autonomy across three key areas: control barrier function (CBF) theory for robust and performant safety on hardware; safe reinforcement learning for agile whole-body control; and layered safety filters that interface with learning, perception, and semantic reasoning systems. You will validate your work experimentally on state-of-the-art robotic platforms — removing bottlenecks to deployment and enabling robots to safely operate around humans. You will work with the inventor of CBFs, as well as top scientists and engineers at Amazon developing the next generation of safe autonomy. Key job responsibilities -Advance the science of safe autonomy from formal foundations to the integration with learning and perception to validation on hardware — with particular emphasis on methods that bridge these domains. -Test and validate hardware, with a focus on next generation robotic systems. Including locomotion, manipulation and loco-manipulation. -Leverage the deployments on hardware to validate the underlying science, identifying gaps between theory and practice that drive the next cycle of research. hardware to validate the underlying science, identifying gaps between theory and practice that drive the next cycle of research. -Publish research at top-tier robotics, control, and ML venues, and contribute to Amazon’s scientific reputation in advanced robotics. -Collaborate with SAF Lab and Amazon production teams to move research into robots deployed at Amazon scale. A day in the life Amazon offers a full range of benefits that support you and eligible family members, including domestic partners and their children. Benefits can vary by location, the number of regularly scheduled hours you work, length of employment, and job status such as seasonal or temporary employment. The benefits that generally apply to regular, full-time employees include: -Medical, Dental, and Vision Coverage -Maternity and Parental Leave Options -Paid Time Off (PTO) -401(k) Plan If you are not sure that every qualification on the list above describes you exactly, we’d still love to hear from you! At Amazon, we value people with unique backgrounds, experiences, and skillsets. If you’re passionate about this role and want to make an impact on a global scale, please apply! About the team The Safe Autonomy Frontiers (SAF) Lab is the first industry research lab dedicated to safe autonomy, founded by the inventor of control barrier functions. We are developing a universal safety layer for the next generation of robotic systems: mobile robots, manipulators, quadrupeds, and humanoids. Here you will advance performant safety for highly dynamic robots — CBF theory integrated with perception and learning, evaluated on next-generation platforms — and your work will underpin robots operating alongside people at Amazon’s unprecedented scale.