[TYPES/announce] PhD Scholarships at the IT University of Copenhagen

[Carsten Schuermann]

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

	http://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=73066&DepartmentId=5236&MediaId=5

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100917/59b587dc/attachment.html>