[ The Types Forum (announcements only),
a number of Ph.D. positions are available at the IT University of Copenhagen.
We are looking for candidates interested in the areas of
Automated reasoning, categorical logic, type theory, coordination languages,
electronic voting, logical frameworks, models for concurrency, distributed and
mobile computation, programming languages semantics, modular program
verification, proof assistants, programming languages, static analysis of
programming and modelling languages, workflow languages.
for the official announcement and for information on how to apply.
Application deadline is October 6, 2010.
Potential applicants are welcome to contact me or any of the other faculty
members in the PLS group (www.itu.dk/research/pls) for more information.