- Amazon (Boston, MA)
- …Group in AWS Utility Computing is looking for a Senior Applied Scientist with experience in building scalable automated reasoning solutions that delight ... in the cloud. https://aws.amazon.com/security/provable-security/ Key job responsibilities As a Senior Applied Scientist , you will help shape the definition and… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... the next generation of tools and services by combining Automated Reasoning and Generative AI. AWS has the most...and in the cloud. See https://aws.amazon.com/security/provable-security/ As a Senior Applied Scientist in AWS AI, you will… more
- Amazon (New York, NY)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... the next generation of tools and services by combining Automated Reasoning and Generative AI. You will apply your...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
- Amazon (Austin, TX)
- …of this transformational endeavor. The Automated Reasoning Group is seeking an applied scientist with broad interest and expertise in automated solving, ... Description The automated reasoning group is building the next generation...Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue… more
- Amazon (Seattle, WA)
- …detail, and the ability to work in a fast-paced, ever-changing environment. As an Applied Scientist , you will own the design and development of end-to-end ... implement state-of-the-art solutions for never-before-solved problems in the space of Automated Reasoning and Artificial Intelligence. A successful candidate will be… 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 scalable automated reasoning tools required to do so. You will...Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue… more
- Amazon (New York, NY)
- …of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning capabilities ... You will work with a team of world class automated reasoning experts to deliver code reasoning technology that...Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue… 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...Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue… more
- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in programming language semantics and deductive ... You will work with a team of world class automated reasoning experts to deliver code reasoning technology that...Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue… more
- Amazon (Santa Clara, CA)
- …such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue to set AWS's ... services and features apart in the industry. As a member of the UC organization, you'll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS, including support for… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... 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 an Applied Scientist in AWS AI, you will… more
- Amazon (Arlington, VA)
- …ideas to an executive level decision maker. - Mentors and trains the research scientist community on complex technical issues. AWS has the most services and more ... level decision maker. - Mentors and trains the research scientist community on complex technical issues. A day in...working on cutting edge technology related to formal methods, automated reasoning, automated testing, and adjacent areas.… more
- Amazon (Cupertino, CA)
- … Reasoning Group in the AWS Neuron Compiler team is looking for an Applied Scientist to work on the intersection of Artificial Intelligence and program ... underpinning of Generative AI. In this role as an Applied Scientist , you'll be instrumental in designing,...Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue… 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
- 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 learning ... implementation, testing to documentation, delivery, and maintenance). About the team The Automated Reasoning & Identity Science team is working on products and… more
- Amazon (Bellevue, WA)
- …adopt best practices while architecting on the cloud. We are looking for a Senior Applied scientist who will function as a science leader and drive innovation ... such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue to set AWS's… more
- Amazon (Bellevue, WA)
- …is a positive force for good. Our customers bring problems which will give Applied Scientists like you endless opportunities to see your research have a positive and ... transfer learning, unsupervised and semi-supervised methods active learning and semi- automated data annotation, large scale image and video recognition, face… more
- Amazon (Pasadena, CA)
- …such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud ( EC2 ), to consistently released new product innovations that continue to set AWS's ... customers. We are looking to hire a Senior Research Scientist to develop and test novel calibration and optimization...in the cloud. Basic Qualifications - PhD in physics, applied physics, electrical engineering, or an equivalent degree in… more