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.

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.