PhD Scholarship in Computer Science

The Department of Communication, Business and Information Technologies (CBIT) at Roskilde University invites applications for a PhD scholarship in Computer Science to be filled by 1 September 2009 or as soon as possible thereafter.

The scholarship is two-thirds funded by Roskilde University and one-third by a grant from the Danish Agency for Science, Technology and Innovation (http://www.fi.dk/) to the FIRST Graduate School (Foundations of Research in Software Technologies) (http://www.first.dk/) of which Roskilde University is a member. The topics of the PhD are expected to fall within the overall themes of the FIRST, in particular modeling, analysis, and verification of computer systems. Topics focusing on both theory and practice are welcome.

The successful applicant will be attached to the Programming, Logic and Intelligent Systems (PLIS) research group (http://plis.ruc.dk/), whose research areas include knowledge-based systems and intelligent interaction with systems, logic and knowledge representation, programming languages and tools.

For more information, see http://www.ruc.dk/ledigestillinger/vip/PHDcomputer05.09