- 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 (Seattle, WA)
- Description Are you passionate about applying automated reasoning and program analysis to real world problems? Do you want to create products that help ... an exciting opportunity for you. We're looking for an Applied Scientist to help strengthen our customers'...problems. * Implement these capabilities through the use of Automated Reasoning and various concepts from programming… more
- Amazon (Santa Clara, CA)
- …Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create ... products that help customers? If so, then we have an exciting opportunity for you. In this role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions,… more
- Amazon (Minneapolis, MN)
- …provably correct? If so, then we have an exciting opportunity for you to leverage Automated Reasoning techniques across EC2 and EC2 Networking. In this role, you ... will interact with internal teams and external customers to understand their networking requirements. You will apply your knowledge to propose solutions, create software prototypes, and productize prototypes into production systems using software development… more
- Amazon (Cupertino, CA)
- Description The Automated Reasoning Group in the AWS Neuron Compiler team is looking for an Applied Scientist to work on the intersection of Artificial ... underpinning of Generative AI. In this role as an Applied Scientist , you'll be instrumental in designing,...Experience in professional software development - Publication record in automated reasoning or compiler construction - Knowledge… more
- Amazon (Seattle, WA)
- …the United States. Are you interested in machine learning, deep learning, automated reasoning , speech, robotics, computer vision, optimization, or quantum ... computing? We are looking for applied scientists capable of using a variety of domain...datasets in an effort to tackle never-before-solved problems. * Automated Reasoning : AWS Automated … more
- Amazon (Santa Clara, CA)
- Description The Automated Reasoning & Identity Science team at AWS is looking for a passionate, talented, and inventive scientist with a strong machine ... to documentation, delivery, and maintenance). About the team The Automated Reasoning & Identity Science team is...- PhD, or Master's degree and 6+ years of applied research experience Preferred Qualifications - Experience with neural… more
- Amazon (Seattle, WA)
- …to develop and deliver solutions that measurably achieve this goal. As an Applied Scientist for People Experience and Technology (PXT) Central Science, you ... such as automated text generation, text summarization, chatbots, automated reasoning , dialogue management, question answer, and/or text classification,… more
- Amazon (Cupertino, CA)
- …of AWS innovation for advanced ML capabilities, powering solutions like Generative AI. The Automated Reasoning Group in the AWS Neuron Compiler team works on the ... the code quality bar in compiler stack. In this role as an Applied Scientist , you'll be instrumental in designing, developing, and deploying analyzers for ML… more