[TYPES/announce] Ph.D. scholarships at the IT University of Copenhagen

[Lars Birkedal]

A number of Ph.D. scholarships are available at the IT University of
Copenhagen, including some in the areas of the Programming, Logic and
Semantics (PLS) Group with research in programming languages, automated
reasoning, logical frameworks, type theory, semantics, category
theory, domain theory, distributed and mobile computing, business
processes, concurrency theory, electronic voting.

Please let potential students know.
Deadline for application is October 22. 
See http://www1.itu.dk/sw66047.asp for the official announcement.

Best wishes,
Lars Birkedal
Head of the PLS group.