[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear all,

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.

Please see


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.

Best wishes,
Carsten Schuermann

Reply via email to