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

Work 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 flexible 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
  • a burning desire to try out new ideas and to make an impact

Some familiarity with the basics of formal software analysis (any techniques) is desirable.

Female candidates are particularly encouraged to apply.

How to apply

To apply, submit the following material:

  • a CV (including any possible publications or contributions to software development projects)
  • a one-page description of your background and interests in computer science, also in relation to the position’s topic
  • one or two references (contact information of professors/researchers/professionals who are familiar with your profile, and can be contacted)

Send your applications by email to Screening will continue until all positions are filled.

Feel free to have a look at my homepage to get an idea of some of my recent research activities.

Drop me an email if you have any additional questions!

Carlo A. Furia