[TYPES/announce] PhD position on automated verification at ETH Zurich

[Michalis Kokologiannakis]

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 
michalis.kokologiannakis at inf.ethz.ch. The application deadline is 
2024/08/01.

Best regards,
Michalis