- Amazon (Santa Clara, CA)
- 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 (Santa Clara, CA)
- 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...and in the cloud. See https://aws.amazon.com/security/provable-security/ As a Senior Applied Scientist in AWS AI, you will… more
- Amazon (Santa Clara, CA)
- 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 (Santa Clara, CA)
- 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 (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