PhD Scholarships at The IT University of Copenhagen

The IT University of Copenhagen (ITU) invites applications for a number of PhD scholarships starting in September 2010. We are interested in applications that focus on one or several of the subject areas below. Efficient solutions to computationally hard problems, algorithms for searching and analyzing of large amounts of data, databases and data mining, sensor networks and data management, algorithm engineering, experimental performance studies.

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 information, please visit here

No comments: