Careers

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.

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.

Are you a scientist interested in pushing the state of the art in machine learning and recommendation systems? Are you interested in working on novel ideas that can positively impact millions of customers? Do you wish you had access to large datasets and tremendous computational resources? Answer yes to any of these questions and you will be a great fit for our team at Amazon. As an Senior Applied Scientist in our team, you will be responsible for the research, design, and development of new AI technologies for Personalization. You will adopt or invent new machine learning and analytical techniques in the realm of recommendations and large language models. You will collaborate with scientists, engineers, and product partners locally and abroad. Your work will include inventing, experimenting with, and launching new features, products and systems. Key job responsibilities - Using Amazon’s large-scale computing resources, you will ask research questions about customer behavior, build state-of-the-art models to optimize the shopping experience, and run these models directly on the retail website. - Develop AI solutions for Recommendation systems using Deep learning, LLMs, Reinforcement Learning, distillation, and Optimization methods; - Work closely with engineers and product managers to design, implement and launch AI solutions end-to-end; - Design and conduct offline and online (A/B) experiments to evaluate proposed solutions based on in-depth data analyses; - Effectively communicate technical and non-technical ideas with teammates and stakeholders; - Stay up-to-date with advancements and the latest modeling techniques in the field; - Publish your research findings in top conferences and journals. About the team Our team is part of Amazon’s Personalization organization, a high-performing group that leverages Amazon’s expertise in machine learning, big data, distributed systems, and user experience design to deliver the best shopping experiences for our customers. We run global experiments and our work has revolutionized e-commerce with features such as "Keep shopping for ...", “Customers who bought this item also bought”, and “Frequently bought together”.

Reinventing How the World Shops! We are building the future of human-AI collaboration in commerce. We are creating an AI-native shopping partner that truly understands what customers mean, what they need, and what they haven't yet realized they want—rivaling the intuition of the best human experts, operating at a scale no human ever could. This is a complex personalization challenge. We sit at the intersection of massive-scale language understanding, real-time decision systems, hundreds of millions of customers, and billions of products. Our mission is to collapse the distance between intent and discovery—to make the leap from "searching for products" to "being understood as a person." As a Principal Applied Scientist, you will be the intellectual engine behind this transformation. You will define the frontier, architect the science strategy for a large, multidisciplinary organization, and drive breakthroughs that reshape how Amazon thinks about customers and products at the deepest level. The problems you'll solve don't have textbook answers. You will pioneer next-generation LLM-based reasoning systems that build rich, evolving models of customer intent. You will design transformer architectures that abstract noisy behavioral signals into high-quality latent representations of human preference. You will invent real-time, multi-objective ranking systems that balance exploration, personalization, and serendipity at billions of decisions per day. And you will do all of this as a force multiplier, building foundational technology that empowers teams across Amazon to deliver experiences that feel almost magical. Your work will be felt, not just measured. Every model you build ships directly to hundreds of millions of customers. The feedback loop between your science and real human delight is immediate. This role offers a rare combination of intellectual depth, technical ambition, and tangible impact. Come define what shopping looks like in the age of AI! Key job responsibilities - Innovate new features and models that have huge impact on the customer experience. Help customers find the right products and content on their shopping journey. - Leverage the use of advanced machine learning to create customer shopping experience at Amazon's scale - for all Amazon customers across all countries in realtime - Be a key leader on a multidisciplinary team across science, product, design, and engineering to see through ideas from inception, prototype, to launch in the hands of all Amazon's customers - Drive the science roadmap across multiple teams, helping coordinate a cohesive science agenda across the org. - Mentoring applied scientists across the org, growing their skills and careers. About the team Our mission is to delight every Amazon customer with a personalized shopping experience tailed to their intent. We achieve our mission through investments in Science, UX, and central systems with the purpose of delivering the future of shopping on Amazon. We are seeking a Principal Applied Scientist to lead the science charter across the recommendations and intent identification space.

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.

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.

Help us build the software stack underneath Frontier AI & Robotics: the layer between hardware and the AI policies running on it. You’ll work end-to-end across the stack, from bringing up sensors and actuators at the HW/SW boundary, to hardening the multi-process runtime that ties them together, to shipping the framework changes that let the rest of the team move faster. This is a generalist role with a real systems edge. We need someone equally at home down at the sensor and OS boundary (drivers, IPC, real-time behavior, profiling) and up in robotics application code (most of it Python). You’ll spend stretches of a few days to a few weeks each on things like bringing up a new sensor at the protocol layer, chasing a flaky USB camera at the kernel boundary, generalizing the camera stack, cutting perception latency, porting code onto edge compute, or chasing a DDS/ROS 2 performance regression. You’ll work with sharp, motivated engineers across hardware, ML research, controls, and ops on continuously changing problems at the frontier of AI and robotics. The role rewards engineers who communicate clearly, invest in cross-team relationships, and ship. Key job responsibilities - Bring up and integrate sensors, actuators, and edge compute across diverse robotics hardware platforms. - Build and improve the multi-process Python and ROS 2 runtime: process management, IPC, observability, lifecycle. - Diagnose and fix bottlenecks across the stack: middleware performance (DDS, ROS 2), perception pipeline latency, edge inference throughput, system-level resource contention. - Generalize one-off solutions into reusable infrastructure (camera stacks, telemetry pipelines, edge deployment tooling) that scales across hardware platforms and use cases. - Port code onto the constrained edge-compute platforms our robots run. Make it work, then make it work well. - Identify gaps in the team’s velocity, whether that’s a missing piece of infrastructure or a fragile sensor that nobody has time to fix, and close them. - Make proper tradeoffs between prototyping and production software. 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 frontier 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.

Do you have a passion for GenAI, machine learning, and/or cybersecurity?! If so, join us in building innovative AI/ML services that protect our cloud from advanced security threats! As a Senior Applied Scientist on our team, you’ll analyze data using GenAI and other AI/ML techniques to build new services that detect and automate the mitigation of cybersecurity threats across Amazon’s infrastructure, including advanced persistent threats. You’ll work with software development engineers, security engineers, and other applied scientists across multiple teams to develop innovative security solutions at a massive scale. Our services protect the AWS cloud for all customers, helping preserve our customers’ trust in us. You’ll get to use the full power and breadth of AWS technologies to build services that proactively protect every single AWS customer, both internally and externally, from security threats – not many teams can say that! A successful candidate is one who is passionate about utilizing big data, machine learning, and GenAI to solve real business problems. This role gives you the opportunity to lead technical innovation and drive the future direction of automation within threat detection and mitigation. Candidates are expected to have a track record of delivering high-quality results in a fast-moving environment. We need someone who’s comfortable mentoring, leading by example, and independently delivering. We have a team culture that encourages innovation and for every team member to have a high degree of ownership for their program, vision, and execution of ideas. We’re looking for someone who is enthusiastic, empathetic, curious, motivated, reliable, and able to work effectively with a diverse team of peers and partner teams. We want someone who will help us amplify the positive and inclusive team culture we’ve been building. Key job responsibilities - Design, build, and deploy AI/ML systems that process threat data at scale, running over petabyte-scale security logs with real-time inference - Conduct thorough data analyses and develop prototypes for detecting otherwise-unknown security problems - Independently frame ambiguous problems, and then define and deliver a research agenda with limited guidance - Seek out, develop, and advocate for new technologies to solve scientifically-complex security problems - Build consensus on scientific approaches, balancing analytic rigor with the operational urgency inherent to security - Mentor and develop teammates both technically and professionally - Publish patents and peer-reviewed articles, and present your research both internally and externally About the team This team is part of the larger ‘Amazon Active Defense’ organization, focused on bringing automation – at scale – to AWS Security. Teams within Amazon Active Defense consist of security engineers, data/applied scientists, and software developers, all working together to launch big data analytics able to automatically detect and mitigate threats within AWS in near-real-time. This team, in particular, is focused on both detecting and automatically stopping advanced actor activities in internal AWS resources. Review these blogs for example past projects you could have led! - https://aws.amazon.com/blogs/security/how-aws-uses-active-defense-to-help-protect-customers-from-security-threats/ - https://www.amazon.science/blog/how-amazon-uses-agentic-ai-for-vulnerability-detection-at-global-scale - https://www.amazon.science/blog/how-amazon-uses-ai-agents-to-anticipate-and-counter-cyber-threats Diverse Experiences Amazon Security values diverse experiences. Even if you do not meet all of the 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. Why Amazon Security? At Amazon, security is central to maintaining customer trust and delivering delightful customer experiences. Our organization is responsible for creating and maintaining a high bar for security across all of Amazon’s products and services. We offer talented security professionals the chance to accelerate their careers with opportunities to build experience in a wide variety of areas including cloud, devices, retail, entertainment, healthcare, operations, and physical stores. Inclusive Team Culture In Amazon Security, it’s in our nature to learn and be curious. Ongoing DEI events and learning experiences inspire us to continue learning and to embrace our uniqueness. Addressing the toughest security challenges requires that we seek out and celebrate a diversity of ideas, perspectives, and voices. Training & 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, training, and other career-advancing resources here to help you develop into a better-rounded professional. 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 flexible work hours and arrangements are part of our culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve.

At Amazon Robotics, we design advanced robotic systems capable of intelligent perception, learning, and action alongside humans, at massive scale. Our mission is to deploy robots that increase productivity and efficiency across Amazon fulfillment centers while operating safely and robustly in complex, contact-rich environments. We are seeking an Applied Scientist to develop manipulation controllers for robotic systems operating in contact-rich, uncertain environments. In this role, you will design force-aware control strategies grounded in impedance/admittance frameworks and augment them with data-driven policy learning to achieve robust, adaptive manipulation behaviors. You will combine physics-based modeling, control-theoretic design, and machine learning to build manipulation capabilities that generalize across objects, tasks, and operational conditions. You will collaborate closely with experts in perception, machine learning, motion planning, controls, and software engineering to deliver solutions that perform reliably on real hardware at production scale. As part of this role, you will study and extend relevant academic and industry research in robot learning and manipulation, prototype and validate learned policies in simulation and on hardware, and transition successful approaches into production systems. Successful candidates demonstrate strong intuition for physical systems, experience applying ML to robotics problems, and the ability to reason about failure modes, edge cases, and deployment constraints in contact-rich manipulation. Clear communication, hands-on experimentation, and a bias toward practical impact are essential. Key job responsibilities - Research, design, implement, and evaluate machine learning–based manipulation policies for contact-rich tasks, integrating learning with feedback control, estimation, and motion planning. - Develop learning frameworks that leverage simulation, real-world data, and hybrid physics- and data-driven models to enable robust agency interaction, grasping, insertion, and object handling. - Design and execute experiments in simulation and on hardware to train, validate, and stress-test learned manipulation policies under real-world variability and uncertainty. - Collaborate with software engineering teams to deliver scalable, real-time, and maintainable implementations of learning-based manipulation algorithms in production robotic systems. - Partner with cross-functional teams across perception, hardware, systems engineering, science, and operations to transition learned policies from research prototypes to reliable, production-ready capabilities across Amazon Robotics platforms. 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: 1. Medical, Dental, and Vision Coverage 2. Maternity and Parental Leave Options 3. Paid Time Off (PTO) 4. 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!

If you have ever bought or sold anything on Amazon, you have touched Amazon Marketplace. Amazon’s Marketplace business is one of the largest in the world. We are now in 23 countries. We are growing fast, with customers in many more countries. Amazon’s platform is the engine that powers Amazon’s Marketplace businesses, and Sellers rely on this platform and our support to start selling on Amazon and to grow their business. Amazon Marketplace enables millions of Sellers worldwide to list hundreds of millions of products and manage orders for inventory across dozens of different categories and languages. While working with millions of Sellers worldwide, we constantly strive to improve the selection for Customers and the capabilities of our platform for Sellers. The Seller Fulfillment Services (SFS) team is looking for a motivated and innovative Applied Scientist with strong analytical skills and practical experience to join our science team. As a key member of the SFS science team, you will provide expertise that helps accelerate the business. You will build science solutions that will help us to provide our customers with the largest selection of merchants at the lowest, and the most reliable delivery service regardless of the seller. You will research, design and improve on the models that will impact Amazon’s customer directly. You will be working in a highly collaborative environment partnering with various science, product management, engineering, operations, finance, business intelligence and analytics teams to develop science models to solve business problems. You will need to understand the business requirements and translate them into complex analytical outputs. You will design tests to explain performance of the models from impact on customer and cost perspective. You will create ML models to capture features impacting performance. You should be comfortable building prototypes, testing and improving them given the feedback from the real time data. You should be able to present your model and findings to a various range of stakeholders. Looking for candidate with expertise in the areas of machine learning, operations research, and statistics. With expertise in applying theoretical models in an applied environment relying heavily on the latest advances in machine learning, optimization, stochastic modeling, and engineering. The candidate will be expected to work on numerous aspects, such as feature engineering, modeling, probabilistic modeling, hyper-parameter tuning, scalable inference methods and latent variable models. Challenges will involve dealing with very large data sets and requirements on throughput. Key job responsibilities - Design, implement, test, deploy, and maintain innovative science solutions to accelerate our business. - Create experiments and prototype implementations of new learning algorithms and prediction techniques - Collaborate with scientists, engineers, product managers, and stakeholders to design and implement software solutions for science problems - Use best practices to ensure a high standard of quality for all of the team deliverables