Open positions

Position for a PhD student in the project ''Quality of Interpolants in Model Checking''


The group has an open position for a research assistant in the area of software model checking and decision procedures. The assistant is to join the Ph.D. program at the University of Lugano and to conduct his/her Ph.D. research as part of the funded project "Quality of Interpolants in Model Checking". 

A successful candidate is expected to show skills in mathematics, theoretical computer science, as well as practical, system-level programming and tool development. Prior experience with formal methods and formal verification is an additional plus.

Syndicate content