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.
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
