The Department of Computer Science, University of Copenhagen, Denmark (DIKU) invites applications for a PhD scholarship starting September/October 2012.
The scholarship is internally financed and *not* subject to requirements of a specific research project or an external funding agent.
The Algorithms and Programming Languages group at DIKU would welcome applications from candidates with a strong background in core computer science (algorithms, languages, systems) and interests in type systems, including related topics such as functional programming, program transformation, verification, theorem proving, functional high-performance computing.
Application deadline: July 2nd, 2012.
For more information, see http://diku.dk/ominstituttet/ledige_stillinger/phd_computer_science/.
If you have questions, please feel free to contact Fritz Henglein at henglein AT diku DOT dk.
