- Amazon (Portland, OR)
- 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 (Portland, OR)
- …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