[ecoop-info] PhD positions in software engineering/formal methods at USI, Switzerland
Carlo A. Furia
c.a.furia at gmail.com
Thu Jul 5 13:48:30 CEST 2018
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:
Carlo A. Furia
More information about the ecoop-info