- Amazon (Portland, OR)
- …Reasoning Group in AWS Cloud Operations is looking for an Applied Scientist to work on the intersection of Artificial Intelligence and program analysis ... to automate the management of cloud compute resources, with an initial view towards reactive,...that develops tooling for managing a full range of cloud resources with an application-centric view. Each day, hundreds… more
- Amazon (Portland, OR)
- … cloud and in the cloud . See https://aws.amazon.com/security/provable-security/ As a Senior Applied Scientist in AWS AI, you will play a pivotal role in ... Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight… more
- Amazon (Portland, OR)
- …the cloud and in the cloud . See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will play a pivotal role in ... Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight… more
- Amazon (Portland, OR)
- …the power and scale of the cloud . We are looking for a Senior Applied Scientist focused on video compression and filtering to build advanced video processing ... In other words, we're the people who keep the cloud running. We support all AWS data centers and...functions. As an Applied Scientist , you will research and develop… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist to formally verify high-performance cryptographic algorithms as well as develop the ... of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning… more
- Amazon (Portland, OR)
- …verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning ... Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more