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, programming languages, static analysis of programming and modelling languages, workflow languages.
For more info:
http://www1.itu.dk/graphics/ITU-library/Intranet/Personale/Stillingsopslag/VIP/Stillingsops lag%202010/PhD%20call_spring%202010_text.pdf
Please quote 10 Academic Resources Daily in your application to this opportunity!