• Applied Scientist , Lean

    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 (10/17/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist , Automated…

    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 (11/16/24)
    - Save Job - Related Jobs - Block Source
  • Senior Applied Scientist , Automated…

    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 (11/16/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist , Neuron ARG

    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
    Amazon (11/16/24)
    - Save Job - Related Jobs - Block Source
  • Staff, Data Scientist

    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
    Walmart (09/26/24)
    - Save Job - Related Jobs - Block Source