What It's Like to Work for the AWS Automated Reasoning Group

We talked with engineers and researchers from the Automated Reasoning Group (ARG) at AWS – https://amzn.to/2Ea1OUj, and learned what they liked about working on their team. Take a look at the interesting projects this team is taking on to help customers achieve provable cloud security!

Duration: 3:13
Publisher: Amazon Web Services
You can watch this video also at the source.