Ph.D. scholarships at the IT University of Copenhagen

• To: types@cis.upenn.edu, categories@mta.ca, DMANET@zpr.uni-koeln.de
• Subject: Ph.D. scholarships at the IT University of Copenhagen
• From: Lars Birkedal <birkedal@itu.dk>
• Date: 14 May 2002 21:12:40 +0200
• Cc: teori@itu.dk
• Reply-To: birkedal@itu.dk
• Sender: birkedal@spurv.itu.dk
• User-Agent: Gnus/5.0807 (Gnus v5.8.7) XEmacs/21.1 (Cuyahoga Valley)

A number of 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 Theory Department: algorithms and complexity theory,
semantics of logics and programming languages, category theory, categorical
logic and type theory, models of concurrency, verification, mobile
computation.

The official announcement of the Ph.D. scholarships can be found at
  http://www.it-c.dk/Internet/jobs/ziatB6/

Application deadline is noon June 10, 2002.
 
More information about the Theory Deparment can be found at
  http://www.it-c.dk/English/research/theory/

Best regards,
Lars Birkedal


----------------------------------------------------------------------
Lars Birkedal  (birkedal@it-c.dk)
Associate Professor, Ph.d. 
Head of Theory Department
The IT University of Copenhagen

• Prev: EXTENDED DEADLINE of Special Issue on Mechanising and Automating Mathematics
• Next: Job announcement at Darmstadt
• Index(es):
  • Main
  • Thread