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.

Assistants have teaching duties. The classes are expected to be in the areas of informatics and theoretical computer science. The teaching requirement includes support for courses and seminars. Both teaching and research are to be conducted in English.

Additional questions about the position can be addressed to Prof. Natasha Sharygina. Applications should include a curriculum vitae, a statement of research interests, and at least two names of reference people. The position is open from September 2011, immediate applications are encouraged.

Applicants must have a Master's degree or a Diploma in computer science or a related area. A Bachelor's is not sufficient. An excellent knowledge of English (both written and spoken) is required.