[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues, the IT University of Copenhagen (ITU) invites applications for several PhD scholarships starting in September 2009 in the following areas: Algorithms for searching and storing of large amounts of data, automated reasoning, business processes, category theory, complexity theory, concurrency theory, distributed and mobile computing, domain theory, efficient solutions to problems arising in logical formulations within planning, empirical studies of software development in organizations, scheduling, verification, test, and configuration; efficient computation, electronic health records, electronic voting, logical frameworks, software architectures, object-oriented methodology and notations, programming languages, programming language technology for functional and object-oriented languages, proof assistants, semantics, ubiquitous computing, user interface software technology, workflow languages. Applicants accepted will be employed and enrolled at the IT University for a period of 3 or 4 years. Appointment and salary will be in accordance with the agreement between the Ministry of Finance and the Danish Confederation of Professional Associations. For example, the basic salary of a 3 year PhD student amounts to DKK 24,117.18 (Euro 3236.20) per month. For more information consult the webpage: http://www1.itu.dk/sw487.asp I would be grateful if you could circulate this information among potential applicants. Best regards, -- Carsten Schuermann