[pl-seminar] Verification internships at Amazon

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

If you're interested in interning at Amazon's Automated Reasoning
Group, let me know.
Ankush Desai is looking for interns to work on the P verification
language: https://github.com/p-org/P
which apparently has been gaining traction and replacing Lamport's TLA+
The internships are for any time in the year.

--
Aws