The Coq mailing list

[henglein AT diku.dk (Fritz Henglein)]

The Department of Computer Science at the University of Copenhagen
(DIKU, http://www.diku.dk) has openings for up to 3 full professor
positions in programming languages and systems (1 or 2 appointments),
respectively software development (1 appointment), starting May 2010.

For detailed information, including application procedures, please see
the full position announcements:

Professor in programming languages and systems:
http://www.diku.dk/ominstituttet/ledige_stillinger/professorinsoftware/

Professor in software development:
http://www.diku.dk/ominstituttet/ledige_stillinger/professorinprogramming/

Please note that the software development position is open to
outstanding candidates with a technically-oriented research record and
ambitions to bridge to user-oriented aspects.

Enquiries about the positions can be made to department head Martin
Zachariasen---see the announcements for contact information.

Deadline for application: December 17th, 2009, 12 noon (CET).