- Amazon (Santa Clara, CA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will...solutions across various domains. About the team The AWS Lean team is a talented group of scientists from… more
- Amazon (Santa Clara, CA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... of the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As a Senior Applied Scientist in AWS AI, you will play a pivotal role… more
- Amazon (Santa Clara, CA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... in security of the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will play a pivotal role… more
- Amazon (Cupertino, CA)
- …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 ... underpinning of Generative AI. In this role as an Applied Scientist , you'll be instrumental in designing,...construction - Knowledge of interactive theorem provers such as Lean - Experience with heuristic search, eg, fuzzers Amazon… more
- Walmart (Sunnyvale, CA)
- Position Summary What you'll do As a Staff, Data Scientist , you will be a Technical lead on Data science projects and work with marketing stake holders to take ... seeking a highly motivated and talented Marketing Experimentation Data Scientist to join our agile team of measurement data...organizations so they can focus on their missions. We lean on our fulfillment centers, stores, merchants and technical… more