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

Lars Birkedal birkedal at itu.dk
Sun Aug 26 03:40:15 EDT 2007


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.




More information about the Types-announce mailing list