Research position at Roskilde University, Denmark

[John Gallagher]

Apologies for multiple copies.  Please bring to the attention of
final-year or masters-level students.

===============================================
The following fully-funded PhD position is available.

PhD Scholarship in Computer Science:
   Specialization and Analysis Techniques for Pervasive Systems


The Department of Communication, Journalism and Computer Science at
Roskilde University (RUC) hereby seeks applicants for a PhD scholarship
in Computer Science starting as soon as possible. The scholarship is
jointly financed by RUC and the European Commission. The PhD student
will be associated with the EC-funded research project ASAP: Advanced
Specialization and Analysis for Pervasive Systems.

The University of Roskilde is located about 25 kms from Copenhagen.

Knowledge or experience of compiling, semantics, formal verification, 
abstract
interpretation, or other aspects of programming language theory would 
be an
advantage but are not essential.  Knowledge of Danish is not a 
pre-requisite.

For further information about the position, please contact Professor
John Gallagher, Tel. +45 4674 2196, email jpg@ruc.dk. The application
must be based on the full announcement which is found on:
http://www.ruc.dk/ruc_en/about/Positions/phdasap

Terms of appointment and salary will be according to the agreement
between the Ministry of Finance and the Danish Confederation of
Professional Associations.

Deadline for applications:  19 December 2002 at 12.00.



There are also possibilities for post-doctoral research positions.  
Please contact
Professor John Gallagher Tel. +45 4674 2196, email jpg@ruc.dk.