[DMANET] Universitätsprofessur (W3) für Theoretische Informatik an der FernUni in Hagen

In der Fakultät für Mathematik und Informatik der FernUniversität in Hagen
ist ab dem 1. August 2013 eine

Universitätsprofessur (W3) für
Theoretische Informatik (Nachfolge Prof. Dr. R. Verbeek)

zu besetzen.

Der/Die Stelleninhaber/in sollte auf einem oder mehreren der Gebiete

• Logik in der Informatik, Inferenzsysteme, Verifikation
• Algorithmen und Komplexität
• Theoretische Aspekte der Sicherheit in Computersystemen

in Forschung und Lehre hervorragend ausgewiesen sein.

Den vollständigen Ausschreibungstext finden Sie unter
http://www.fernuni-
hagen.de/arbeiten/stellenangebote/professuren/index83167.shtml
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************