[TYPES/announce] Postdoc position at University of Aarhus

[Klaus Ostermann]

A postdoctoral position within programming languages and software
technology is available at the Department of Computer Science,
University of Aarhus, Denmark.

The position is funded by a generous grant from the European Research
Council. It enables the successful applicant to concentrate on research
only, without teaching obligations (but possibility), project deadlines
or deliverables and the like. The Department of Computer Science at the
University of Aarhus has an exceptional line-up of strong researchers in
the areas relevant for this position.

We look for candidates with interests in programming languages and
software technology. More specifically, he or she should have
publications in major conferences/journals in one or more of the
following areas:

- Domain-specific languages
- Library and Framework Design
- Modularity
- Programming Language Semantics
- Type Theory
- Programming Language Design and Implementation

The position is for three years, with possibility of extension.

To apply, please send a letter of interest, research statement, and your
CV by email to Klaus Ostermann (contact data given below). To be assured
of full consideration, all material must arrive by February 15, 2008.
Applications will be considered until the position is filled.


Contact:

Klaus Ostermann
Dep. of Computer Science
University of Aarhus, Denmark
http://www.daimi.au.dk/~ko/