[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
I have an opening for a fully funded PhD position on automated
verification at ETH Zurich. Possible research topics include (but
are not limited to) testing and verification of concurrent data
structures or distributed systems.
Interested applicants should send their applications by email
(including CV and references) to
[email protected]. The application deadline is
2024/08/01.
Best regards,
Michalis
