[Fwd: [TYPES] Ph.D. scholarships at the IT University of Copenhagen]

-------- Original Message --------
Subject: [TYPES] Ph.D. scholarships at the IT University of Copenhagen
Date: Tue, 14 Dec 2004 12:50:30 +0100
From: Lars Birkedal <birkedal-YidNj35/[email protected]>

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]


10 Ph.D. scholarships are now advertised at the IT University of
Copenhagen, Denmark. There are openings in several areas, including the
research areas of the Department of Theoretical Computer Science:
algorithms and complexity theory, semantics of logics and programming
languages, categorical logic and type theory, models of
concurrency, verification, mobile and global computing.

The official announcement of the Ph.D. scholarships can be found at
     http://www1.itu.dk/sw26558.asp

Application deadline is noon March 1, 2005.

More information about the Deparment of Theoretical Computer Science
can be found at
     http://www1.itu.dk/sw648.asp

Best regards,
Lars Birkedal


----------------------------------------------------------------------
Lars Birkedal  ([email protected])
Associate Professor, Ph.d.
Head of Department of Theoretical Computer Science
The IT University of Copenhagen