The Coq mailing list

[Peter Schneider-Kamp <petersk AT imada.sdu.dk>]

(apologies for multiple copies)
(please pass this message on to interested colleagues)

Affiliation: Department of Mathematics and Computer Science
Location   : University of Southern Denmark, Odense, Denmark

Duration   : 36 months + potential for tenured position
Start      : expected second half of 2013, latest beginning of 2014
Salary     : gross approx. EUR 4600 / month (approx. 3100 after taxes)

Possible Research Areas (at least one of these):
- analysis of programming languages
- implementation of programming languages
- distributed systems
- database systems

For further information and the application form, use this link:
  http://tinyurl.com/assistant-professor-denmark

Application deadline is December 1, 2013!