Logic List Mailing Archive

Several postdoctoral positions in computer science (including algorithms and complexity), Aarhus (Denmark)

Several postdoctoral positions at the level of Research Assistant
Professor are available at the Department of Computer Science, University
of Aarhus, Denmark.

The Department conducts research in a broad range of areas within
computer science, with particular strengths in software systems
(programming languages, software development, distributed systems
validation, networks and protocols, pervasive computing), human computer
interaction (participatory design, CSCW, Hypermedia, graphics) and
theory (software verification, cryptology, algorithms and complexity).
The department also houses the BRICS PhD school.

Applications are welcomed from researchers in all areas of computer
science. Researchers with a strong research record in the following
areas are particularly encouraged to apply:
    - Software architecture
    - Model checking and verification
    - Cryptography and quantum cryptography
    - Algorithmic game theory
    - Algorithms/data structures

The positions are for one year with possibility of extension. Apart from
research work, modest teaching responsibilities will also be expected
from the successful candidates.

Applicants should upload a letter of interest and a CV, as well as
indicate at least two names of references for recommendations, using the
application form available from www.daimi.au.dk/postdoc07.

The deadline for applications is March 1, 2007, but applications will be
considered until the positions are filled.

For further information contact:

Software systems:
Professor Ole Lehrmann Madsen
Professor Kurt Jensen
Research Associate Professor Lars M. Kristensen

HCI:
Professor Susanne Boedker
Professor Kaj Groenbaek
Professor Morten Kyng

Theory:
Professor Lars Arge
Associate Professor Peter Bro Miltersen
Professor Mogens Nielsen
Professor Ivan Damgaard