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