[TYPES/announce] PhD positions in software engineering/formal methods at USI, Switzerland

[Carlo A. Furia]

I am looking for PhD students to work with me on a variety of topics at 
the intersection of software engineering, formal methods, and 
verification technology such as:

* Automated program repair
* Practical software verification
* Program synthesis

The PhD students will join the Software Institute, a recently 
inaugurated center of excellence devoted to all aspects of software 
engineering research and development.

The Software Institute is part of the Faculty of Informatics at the 
Università della Svizzera italiana (USI), located in beautiful Lugano, 
Switzerland. The Faculty (established in 2004) offers BSc, MSc, and PhD 
study programs, and has a high international standing in multiple areas 
of computer science research.

The official teaching and working language of the Faculty is English. 
PhD positions come with a competitive salary (around 50 kCHF/year for 
PhD students) and excellent working conditions.

Eligible candidates should have a Master’s Degree in Computer Science or 
a closely related area, a good knowledge of English, a passion for 
programming, and a burning desire to try out new ideas and to make an 
impact. Female candidates are particularly encouraged to apply.

For more information about the positions, and details on how to apply, see:

https://si.usi.ch/position/2018/07/04/phd-positions-software-engineering-formal-methods.html

Best regards,
Carlo A. Furia