[TYPES/announce] Ph.D. position in computer science at DIKU
henglein at diku.dk
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
The scholarship is internally financed and *not* subject to
requirements of a specific research project or an external funding
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
If you have questions, please feel free to contact Fritz Henglein at
henglein at diku.dk.
More information about the Types-announce