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 info:
http://www1.itu.dk/graphics/ITU-library/Intranet/Personale/Stillingsopslag/VIP/S\
tillingsopslag%202010/PhD%20call_spring%202010_text.pdf