The Software Institute of USI (Università della Svizzera italiana) in
Lugano, Switzerland has open PhD positions in practical program analysis
and verification. The positions are in Carlo A. Furia’s group and funded
by a SNF grant.
There is no formal application deadline: applications will be reviewed
until all positions are filled. If you are interested, we suggest that
you apply as soon as possible.
See the official announcement for details and how to apply:
https://si.usi.ch/position/2022/06/24/phd-positions-atom-snf-lastmile.html