Two PhD student positions in formal methods, Gothenburg (Sweden)

There are 2 PhD PhD Positions in Formal Methods available at the Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden.

The Formal Methods group is an internationally recognized research group with a high-profile research track record and an excellent network of collaborators. The group's research focus is in the theoretical and practical aspects of formal software verification, including automated reasoning, interactive theorem proving, runtime verification, and test generation. Together with international collaborators, the group members co-developed widely recognized verification tools like KeY, Vampire, ALIGATOR and LARVA.

The research of the two advertised PhD positions will be in the area of Software Verification, where one position has a stronger focus on the creative use and development of automated reasoning techniques for software verification, and the other has a stronger focus on combining static and runtime verification of software. The selection of the specific research topic will take into account both the interests of the new PhD student and the research agenda of the group. PhD student positions are limited to five years and normally include 20 per cent departmental work, mostly teaching duties. The positions are intended to start in spring or fall 2013.

Application deadline: March 30, 2013. For more information, see http://www.chalmers.se/en/about-chalmers/vacancies/Pages/.