The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in automated test generation (e.g., property-based testing, fuzzing, symbolic execution) and deductive verification (e....

Come change the way the world sees the Cloud!Amazon CloudWatch gives customers actionable visibility into the health of their applications and services. Today we run one of the largest time-series data stores on the planet and teams in CloudWatch solve problems of massive metric ingestion, distributed systems/cloud computing, data visualization, log processing and analytics, anomaly detection, and predictive analytics....

The Automated Reasoning Group is looking for an Applied Scientist with expertise in automated test generation (e.g., property-based testing, fuzzing, symbolic execution) and deductive verification (e....

AWS Infrastructure Services owns the design, planning, delivery, and operation of all AWS global infrastructure. In other words, we’re the people who keep the cloud running....

Help us protect not only the Amazon Web Services (AWS) cloud computing environment but all of our customers as well! Since 2006, our great team at AWS has been enabling our customers to bring great ideas to life in ways that aren’t possible in traditional IT environments....

Corporate Services Security (CPSS) is responsible for securing the applications and services that power Amazon’s countless global Finance, HR, Legal and Communications processes. We perform security reviews and assessments, we design and implement custom detections and controls, and we manage security events to help minimize disruption....