• Applied Scientist , Automated

    Amazon (New York, NY)
    …the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in Automated Reasoning , AWS AI, you will play ... Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable solver solutions that delight… more
    Amazon (10/09/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist , Automated

    Amazon (New York, NY)
    Automated Reasoning Group in AWS AI is looking for an Applied Scientist who will work on integrating automated reasoning and AI. You will work on ... high quality results in a fast-paced environment. As an Applied Scientist in AWS AI, you will...new interfaces that lower the barrier of adoption for automated reasoning solvers - Work with the… more
    Amazon (09/19/24)
    - Save Job - Related Jobs - Block Source
  • Senior Applied Scientist

    Amazon (New York, NY)
    Description Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop ... You will work with a team of world class automated reasoning experts to deliver code ...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
    Amazon (10/05/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist , Socrates,…

    Amazon (New York, NY)
    Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that ... the next generation of tools and services by combining Automated Reasoning and Generative AI. You will...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
    Amazon (10/10/24)
    - Save Job - Related Jobs - Block Source
  • Senior Applied Scientist , People…

    Amazon (New York, NY)
    …solutions that measurably achieve this goal. Key job responsibilities As a Senior Applied Scientist for People Experience and Technology (PXT) Central Science, ... such as automated text generation, text summarization, chatbots, automated reasoning , dialogue management, question answer, and/or text classification,… more
    Amazon (10/15/24)
    - Save Job - Related Jobs - Block Source