- Amazon (Austin, TX)
- … Group in AWS Utility Computing is looking for a Senior Applied Scientist with experience in building scalable automated reasoning solutions that delight ... You will be part of a world-class team building the next generation of automated reasoning tools and services. You will apply your knowledge to propose… more
- Amazon (Austin, TX)
- …this transformational endeavor. The Automated Reasoning Group is seeking an applied scientist with broad interest and expertise in automated solving, ... Description The automated reasoning group is building the...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Amazon (Austin, TX)
- Description The Automated Reasoning Group is looking for an Applied Scientist to formally verify high-performance cryptographic algorithms as well as ... develop the scalable automated reasoning tools required to do so....- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Amazon (Austin, TX)
- …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 (Austin, TX)
- …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