- 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)
- …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