The Automated Reasoning Group, ARG, is looking for new PhD Interns with flexible start dates in 2020!
Email CV to arg-intern-interest@amazon.com for more information.
![](http://i-cav.org/cavlinks/wp-content/uploads/2019/08/Automated-internship-2020.png)
A sharing platform for the Computer-Aided Verification community
The Automated Reasoning Group, ARG, is looking for new PhD Interns with flexible start dates in 2020!
Email CV to arg-intern-interest@amazon.com for more information.