Logic List Mailing Archive

W2 Professorship Theoretical Computer Science, Ilmenau (Germany), Deadline: 1 September 2008

Technische Universit�t Ilmenau

An der Fakult�t f�r Informatik und Automatisierung im Institut f�r 
Theoretische Informatik ist im Rahmen des Professorinnenprogramms des 
Bundes und der L�nder eine

W2-Professur
Theoretische Informatik

zum n�chstm�glichen Zeitpunkt zu besetzen. (Vorgezogene Neubesetzung de
r 
Professur "Automaten und Formale Sprachen".)

Gesucht wird eine wissenschaftlich ausgewiesene Pers�nlichkeit, die das
 
Gebiet der Theoretischen Informatik in Forschung und Lehre kompetent 
vertritt.

Von den Bewerberinnen/Bewerbern wird erwartet, dass sie in einem oder 
mehreren der folgenden Teilgebiete der Theoretischen Informatik 
wissenschaftlich hervorragend ausgewiesen sind: Theorie verteilter und 
paralleler Systeme, Algorithmik und Analyse von Netzwerken (auch mobilen 
und sozialen Netzwerken), Automaten und Formale Sprachen, Algorithmische 
Geometrie, Kodierungstheorie und Kryptographie, Kombinatorische 
Optimierung, Algorithmische Lerntheorie, Algorithmische Spieltheorie, 
Kombinatorische Methoden in der Informatik sowie Anwendungen von Methoden
 
der Logik in der Informatik.

Nachgewiesene Erfahrung bei der experimentellen Untersuchung oder der 
Implementierung von theoretisch entwickelten Systemen und Verfahren ist 
von Vorteil. Die Bereitschaft zur Zusammenarbeit mit anderen Fachgebieten
 
der Fakult�t und der Universit�t, insbesondere mit Bereichen der 
Praktischen und der Technischen Informatik (etwa Verteilte Systeme, 
Netzwerksicherheit, Schaltungsentwurf) wird vorausgesetzt.

Das Institut f�r Theoretische Informatik bietet im 
(forschungsorientierten) Bachelor- und Masterstudiengang Informatik 
diejenigen Lehrveranstaltungen an, die in den Bereich der Theoretischen 
Informatik fallen (Logische Systeme der Informatik, Datenstrukturen und 
Effiziente Algorithmen, Automaten und Formale Sprachen, Berechenbarkeit 
und Komplexit�t) sowie vertiefende Wahlpflichtveranstaltungen im Bereich
 
der Algorithmik und der Komplexit�tstheorie. Eine regelm��ige Beteili
gung 
an der Lehrveranstaltung "Softwareprojekt" wird angestrebt. Eine intensive
 
Beteiligung an der Grundlagenausbildung wird von den 
Bewerberinnen/Bewerbern erwartet.

Vorausgesetzt werden eine ausgezeichnete wissenschaftliche Qualifikation 
der Bewerberinnen/Bewerber sowie didaktische F�higkeiten, nachgewiesen 
durch Habilitation oder gleichwertige wissenschaftliche Leistungen, gem�
� 
den Einstellungsvoraussetzungen nach � 77 Absatz 1 und 2 Th�ringer 
Hochschulgesetz.

Die Technische Universit�t Ilmenau strebt eine Erh�hung des Anteils von
 
Frauen in der Forschung und Lehre an und ersucht deshalb qualifizierte 
Wissenschaftlerinnen nachdr�cklich um ihre Bewerbung.

Schwerbehinderte haben bei gleichwertiger Qualifikation und Eignung 
Vorrang bei der Einstellung.

Es wird darauf verwiesen, dass die Besch�ftigung bei einer ersten Berufun
g 
in der Regel auf Zeit erfolgt. N�heres bestimmt � 79 Th�ringer 
Hochschulgesetz.

Bewerbungen mit den �blichen Unterlagen sind bitte bis zum 1. September z
u 
richten an:

Technische Universit�t Ilmenau

Fakult�t f�r Informatik und Automatisierung
Der Dekan
Postfach 10 05 65
98684 Ilmenau

Bewerbungsschluss: 01.09.2008