- Amazon (Santa Clara, CA)
- Description The Automated Reasoning Group is looking for a Principal Applied Scientist with experience in building scalable formal reasoning solutions ... the next generation of tools and services by combining Automated Reasoning and Generative AI. AWS has the most...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As a Principal , Applied Scientist in AWS… more
- Amazon (Santa Clara, CA)
- …so, then we have an exciting opportunity for you. We're looking for an Applied Scientist to help strengthen our customers' security with automation for managed ... Description Are you passionate about applying automated reasoning and program analysis to real world...problems. * Implement these capabilities through the use of Automated Reasoning and various concepts from programming languages. *… more
- Amazon (Santa Clara, CA)
- …to an executive level decision maker. - Mentors and trains the research scientist community on complex technical issues. Basic Qualifications - Ph.D. degree in ... Ability to work with teams at the interface of automated reasoning and service teams - 10+ years of...partnerships - Broad familiarity with different areas of the automated reasoning Amazon is committed to a diverse and… more
- Amazon (Cupertino, CA)
- …raise 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 ... Description The AWS Neuron Compiler team is actively seeking applied scientists to join our efforts in developing a...advanced ML capabilities, powering solutions like Generative AI. The Automated Reasoning Group in the AWS Neuron Compiler team… more