[TYPES/announce] Ph.D. position in computer science at DIKU

Wed Jun 13 05:21:08 EDT 2012

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.dk.