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

Fritz Henglein 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
September/October 2012.
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 mailing list