Logic List Mailing Archive
W2 Professorship Theoretical Computer Science, Ilmenau (Germany), Deadline: 1 September 2008
Technische Universitt Ilmenau
An der Fakultt fr Informatik und Automatisierung im Institut fr
Theoretische Informatik ist im Rahmen des Professorinnenprogramms des
Bundes und der Lnder eine
W2-Professur
Theoretische Informatik
zum nchstmglichen Zeitpunkt zu besetzen. (Vorgezogene Neubesetzung de
r
Professur "Automaten und Formale Sprachen".)
Gesucht wird eine wissenschaftlich ausgewiesene Persnlichkeit, 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 Fakultt und der Universitt, insbesondere mit Bereichen der
Praktischen und der Technischen Informatik (etwa Verteilte Systeme,
Netzwerksicherheit, Schaltungsentwurf) wird vorausgesetzt.
Das Institut fr 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 Komplexitt) sowie vertiefende Wahlpflichtveranstaltungen im Bereich
der Algorithmik und der Komplexittstheorie. Eine regelmige 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 Fhigkeiten, nachgewiesen
durch Habilitation oder gleichwertige wissenschaftliche Leistungen, gem
den Einstellungsvoraussetzungen nach 77 Absatz 1 und 2 Thringer
Hochschulgesetz.
Die Technische Universitt Ilmenau strebt eine Erhhung des Anteils von
Frauen in der Forschung und Lehre an und ersucht deshalb qualifizierte
Wissenschaftlerinnen nachdrcklich um ihre Bewerbung.
Schwerbehinderte haben bei gleichwertiger Qualifikation und Eignung
Vorrang bei der Einstellung.
Es wird darauf verwiesen, dass die Beschftigung bei einer ersten Berufun
g
in der Regel auf Zeit erfolgt. Nheres bestimmt 79 Thringer
Hochschulgesetz.
Bewerbungen mit den blichen Unterlagen sind bitte zu richten an:
Technische Universitt Ilmenau
Dekan der Fakultt fr Informatik und Automatisierung
Postfach 10 05 65
98684 Ilmenau
Bewerbungsschluss: 01.09.2008