- Amazon (Portland, OR)
- … 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 (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that ... the next generation of tools and services by combining Automated Reasoning and Generative AI. AWS has...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building Generative AI solutions that delight customers. ... the next generation of tools and services by combining Automated Reasoning and Generative AI. AWS has...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
- Amazon (Portland, OR)
- 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 (Portland, OR)
- …for ambiguous problems - Ability to work with teams at the interface of automated reasoning and service teams - 10+ years of experience applying techniques ... level decision maker. - Mentors and trains the research scientist community on complex technical issues. Basic Qualifications -...partnerships - Broad familiarity with different areas of the automated reasoning Amazon is committed to a… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group in AWS Cloud Operations is looking for an Applied Scientist to work on the intersection of Artificial ... of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to… more