INNFORMASI BEASISWA S3 DI BELANDA, IT UNIVERSITY OF COPENHAGEN (ITU)

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/Stillingsops lag%202010/ PhD%20call_ spring%202010_ text.pdf