PhD student positions in Computer Science (including one in formal methods), Gothenburg (Sweden)

The Department of Computer Science and Engineering at Chalmers University of Technology, Sweden, invites applications for 5 PhD positions in Formal Methods/Automated Reasoning (1), Functional Programming (1), Information Security (1) and Software/Web Security (2).

Expected starting date of positions: September 1, 2014. PhD student positions are limited to five years and normally include 20 per cent departmental work, mostly teaching duties. 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 respective group.

Application deadline: March 31, 2014. For more information, see http://www.chalmers.se/en/about-chalmers/vacancies/ (reference no. 20140026, 20140028, 20140029 and 20140054).