Applied Scientist II, Automated Reasoning in Identity

Principal Applied Scientist, Automated Reasoning in Identity Job ID: 2831197 | Amazon Web Services, Inc. Are you passionate about applying automated reasoning and program analysis to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. We’re looking for an Applied Scientist to help...

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 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...

Job ID: 2807330 | 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 role, you will interact with internal teams and...

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...

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...

Applied Scientist II, Generative AI Innovation Center Job ID: 2773329 | Amazon Development Center U.S., Inc. Machine learning (ML) has been strategic to Amazon from the early years. We are pioneers in areas such as recommendation engines, product search, eCommerce fraud detection, and large-scale optimization of fulfillment center operations.The Generative...

Applied Scientist II, Self Service and Automation Job ID: 2666815 | Amazon.com Services LLC The Applied Scientist will play a critical role in the research, development, and implementation of solutions to key challenges in developing conversational AI systems that can understand and communicate with customers in a natural and contextually appropriate manner....

AWS AI Research and Engineering (AIRE) is looking for world class scientists and engineers to work on the development of autonomous AI agents. At AWS AI/ML you will invent, implement, and deploy state of the art machine learning algorithms and systems. You will build prototypes and innovate on new learning techniques. You will interact closely with our...

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’...

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...

Amazon is looking for a passionate, talented, and inventive Applied Scientist with a strong machine learning background to join our science team in the area of Speech and Natural Language Processing. Our organization develops the science that drives the cloud-based AI services of AWS. Our mission is two-fold: to empower developers with powerful AI tools and...

Senior Applied Scientist, Amazon Search/Rufus Job ID: 2825051 | Amazon.com Services LLC We’re working to improve shopping on Amazon using the conversational capabilities of large language models and are searching for pioneers who are passionate about AI and innovation in a fast moving environment. You'll be working with talented scientists, engineers, and...

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...

ML Compiler Engineer II - Automated Reasoning Science, Annapurna Labs Job ID: 2720280 | Amazon Development Center U.S., Inc. The AWS Neuron Compiler team is actively seeking skilled compiler engineers 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...

Sr. Applied Scientist, GenAI, CreativeX, Amazon Advertising Job ID: 2791845 | Amazon.com Services LLC Amazon Advertising is one of Amazon's fastest growing and most profitable businesses. Amazon's advertising portfolio helps merchants, retail vendors, and brand owners succeed via native advertising, which grows incremental sales of their products sold...