PhD positions in software engineering/formal methods

by Carlo A. Furia, July 5, 2018

The ATOM (Automation in Software and Verification Technology) research group at the Software Institute in USI's Faculty of Informatics (located in beautiful Lugano, Swizerland) is looking for PhD students to work on a variety of topics at the intersection of software engineering, formal methods, and verification technology.

I am looking for PhD students to work 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

Research environment

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 (see CSRankings and CSRankings: Computer Science Rankings for software engineering specifically).

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.

How to apply

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

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

Carlo A. Furia

bugcounting.net