Principal Applied Scientist, Automated Reasoning in Identity

10+ years of relevant, broad research experience after PhD degree or equivalent. Proficiency in programming for algorithm and code reviews. Strong core competency in building solutions. Track record of successful delivery. Publications at top-tier peer-reviewed conferences or journals. Strong prior experience with mentorship and/or management of senior...

Applied Scientist, Automated Reasoning in Identity Job ID: 2811666 | Amazon Development Center U.S., Inc. Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. In this...

Applied Scientist, Automated Reasoning in Identity Job ID: 2699878 | Amazon Development Center U.S., Inc. Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. In this...

Senior Applied Scientist , Automated Reasoning Group Job ID: 2796132 | Amazon Web Services, Inc. Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning capabilities to address customers' needs for provably correct code. You...

Applied Scientist, Automated Reasoning in Identity Job ID: 2699878 | Amazon Development Center U.S., Inc. Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. In this...

Applied Scientist, Automated Reasoning Group Job ID: 2814059 | Amazon Development Center U.S., Inc. The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining...

Applied Scientist, Automated Reasoning Group Job ID: 2802257 | Amazon Web Services, Inc. We’re on the lookout for the curious, those who think big and want to define the world of tomorrow. At Amazon, you will grow into the high impact, visionary person you know you’re ready to be. Every day will be filled with exciting new challenges, developing new...

Principal Applied Scientist, AGI Foundations Job ID: 2692247 | Amazon.com Services LLC As a Principal Scientist within the Artificial General Intelligence (AGI) organization, you are a trusted part of the technical leadership. You bring business and industry context to science and technology decisions.You set the standard for scientific excellence and make...

Job ID: 2829026 | Amazon.com Services LLC As a Principal Scientist in Ring and Blink, you will have deep subject matter expertise in the areas of Artificial Intelligence. You will work with multiple teams of scientists and engineers to translate business and functional requirements into concrete deliverables. More specifically, you will provide thought...

Are you passionate about applying cutting-edge automated reasoning techniques to real-world problems in cloud security? We're seeking a highly skilled Applied Scientist to join our team at Amazon Web Services, Inc.This role involves working with internal teams and external customers to understand their requirements and proposing innovative solutions using...

Principal Applied Scientist, Optimal Inventory Health Job ID: 2623476 | Amazon.com Services LLC Amazon's Optimal Inventory Health (OIH) org in Supply Chain Optimization (SCOT) group is looking for a Principal Applied Scientist to optimize one of the most complex eCommerce systems in the world. The Optimal Inventory Health (OIH) drives long-term cash flow...

Job ID: 2716717 | Amazon.com Services LLC The Alexa Smart Home team is focused on making Alexa the user interface for the home. From the simplest voice commands (turn on the lights, turn down the heat) to use cases spanning home security, home entertainment, and the home environment; we are evolving Alexa into an intelligent, indispensable companion that...

Job ID: 2728641 | Amazon Development Center U.S., Inc. The AWS Neuron Compiler team is actively seeking applied scientists to join our efforts in developing a state-of-the-art deep learning compiler stack. This stack is designed to optimize application models across diverse domains, including Large Language and Vision, originating from leading frameworks...

Principal Applied Scientist, Amazon Private Brands Job ID: 2813429 | Amazon.com Services LLC - A57 Join our Amazon Private Brands Selection Guidance organization in building science and tech solutions at scale to delight our customers with products across our leading private brands such as Amazon Basics, Amazon Essentials, and by Amazon.The Selection...

Principal Applied Scientist Amazon Robotics is seeking a Principal Applied Scientist to develop state-of-the-art algorithms to control the fleet of 750,000 mobile robots in Amazon’s order fulfillment network. You will have the chance to solve complex planning and coordination problems and see your solutions come to life in Amazon’s warehouses! In this...

Job ID: 2728641 | Amazon Development Center U.S., Inc. The AWS Neuron Compiler team is actively seeking applied scientists to join our efforts in developing a state-of-the-art deep learning compiler stack. This stack is designed to optimize application models across diverse domains, including Large Language and Vision, originating from leading frameworks...

Job ID: 2738425 | Amazon.com Services LLC Amazon Search is looking for an Applied Scientist to build the next-generation Autocomplete and Spelling Correction experience. Autocomplete provides real-time suggestions as customers type in the search box. It serves as a virtual assistant on customer’s shopping journey. Our suggestions complete customers’...

Principal Applied Scientist, Amazon Private Brands Job ID: 2835385 | Amazon.com Services LLC The Amazon Private Brands’ Discovery team develops innovative machine learning solutions to enhance customer awareness of Amazon's private brands and help customers discover products they love. This interdisciplinary team of scientists and engineers incubates and...

Applied Scientist, AGI Sensory Inference Science Job ID: 2798110 | Amazon.com Services LLC Our mission is to create best-in-class AI agents that seamlessly integrate multimodal inputs like speech, images, and video, enabling natural, empathetic, and adaptive interactions. We develop cutting-edge Large Language Models (LLMs) that leverage advanced...

Job ID: 2714956 | Amazon Development Center U.S., Inc. The Automated Reasoning Group in the AWS Neuron Compiler team is looking for an Applied Scientist to work on the intersection of Artificial Intelligence and program analysis to raise the code quality bar in our state-of-the-art deep learning compiler stack. This stack is designed to optimize application...