The ATOM (Automation in Software and Verification Technology) research group is looking for PhD students to work on automated program repair funded by the Swiss National Science Foundation (SNF).

Automated program repair systems fix faulty programs at the level of the source code completely automatically. Automated program repair is a very active research topic, and has produced practically usable results in recent times.

Research environment

The PhD students will join the Software Institute, a 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

To apply, submit the following material:

  • a CV (including any possible publications and contributions to software development projects),
  • a one-page description of your background and interests in computer science, and
  • one or two references (contact information of researchers who are familiar with your profile, and are available to be contacted).

Send your applications by email to furiac@usi.ch. Screening will continue until all positions are filled; to receive full consideration, you should submit your application by 20 January 2019.

Feel free to have a look at my homepage to get an idea of some of my recent research activities (including, in particular, in automated program repair).

Drop me an email if you have any additional questions!

Carlo A. Furia