[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.