Logic List Mailing Archive

W3 Professorship in Theoretical Computer Science, Siegen (Germany), Deadline: 14 June 2012

Die Universität Siegen ist mit ca. 15.500 Studierenden, 1.600 
Mitarbeiterinnen und Mitarbeitern, davon ca. 1.000 Wissenschaftlerinnen 
und Wissenschaftlern eine innovative und interdisziplinär ausgerichtete 
Universität. Sie bietet mit einem breiten Fächerspektrum von den Geistes- 
und Sozialwissenschaften über die Wirtschaftswissenschaften bis zu den 
Natur- und Ingenieurwissenschaften ein hervorragendes Lehr- und 
Forschungsumfeld mit zahlreichen inter- und transdisziplinären 
Forschungsprojekten. Die Universität Siegen ist als familiengerechte 
Hochschule ausgezeichnet.

An der Naturwissenschaftlich-Technischen Fakultät der Universität Siegen 
ist im Department Elektrotechnik und Informatik eine Universitätsprofessur 
für Theoretische Informatik (Bes.-Gr. W 3 BBesO)

zu besetzen.

Gesucht wird eine durch Drittmittel- und Veröffentlichungsaktivitäten 
international sehr gut ausgewiesene Forscherpersönlichkeit aus dem Bereich 
der Theoretischen Informatik mit Bezug zu eingebetteten Systemen. Die 
Naturwissenschaftlich-Technische Fakultät bietet mit der Beteiligung am 
Interdisziplinären Zentrum für Sensorsysteme (ZESS), dem Profilbereich 
"Innovativer Fahrzeugbau" sowie mehreren strukturierten 
Promotionsprogrammen hervorragende Möglichkeiten zur Vernetzung der 
eigenen Forschungsarbeiten. Von der Stellenbewerberin/dem Stellenbewerber 
wird die deutlich sichtbare und nachhaltige Bereitschaft zur Integration 
und aktiven Mitarbeit an der Weiterentwicklung des Forschungsschwerpunkts 
Embedded Systems des Departments Elektrotechnik und Informatik erwartet. 
Wünschenswert ist ein Forschungsfokus der Bewerberin/des Bewerbers, der im 
Bereich der Formalen Spezifikation und Verifikation liegt.

In der Lehre soll sich die Stelleninhaberin oder der Stelleninhaber an der 
Ausbildung in den Informatik-Studiengängen in angemessener Weise 
beteiligen. Der/Die Inhaber/-in muss Pflichtfächer der Theoretischen 
Informatik, insbesondere die Grundlagen der theoretischen Informatik und 
die Module zur Theorie der Programmierung übernehmen.

Einstellungsvoraussetzungen sind neben den allgemeinen dienstrechtlichen 
Voraussetzungen ein abgeschlossenes Hochschulstudium, pädagogische 
Eignung, die besondere Befähigung zu wissenschaftlicher Arbeit, die in der 
Regel durch die Qualität einer Promotion nachgewiesen wird, zusätzliche 
wissenschaftliche Leistungen, die ausschließlich und umfassend im 
Berufungsverfahren bewertet werden, sowie Lehrerfahrung und der Nachweis 
didaktischer Kompetenz. Die zusätzlichen wissenschaftlichen Leistungen 
werden im Rahmen einer Juniorprofessur, einer Habilitation oder einer 
Tätigkeit als wissenschaftliche Mitarbeiterin bzw. wissenschaftlicher 
Mitarbeiter an einer Hochschule oder einer außeruniversitären 
Forschungseinrichtung oder im Rahmen einer sonstigen wissenschaftlichen 
Tätigkeit erbracht. Die Bereitschaft zur aktiven und konstruktiven 
Mitarbeit in Selbstverwaltungsgremien der Universität wird erwartet.

Die Universität Siegen strebt eine Erhöhung des Anteils von Frauen in 
Forschung und Lehre an. Entsprechend qualifizierte Wissenschaftlerinnen 
werden um ihre Bewerbung gebeten. Bewerbungen geeigneter Schwerbehinderter 
sind erwünscht. Die Universität Siegen bietet gute Möglichkeiten, Beruf 
und Familie zu vereinbaren.

Informationen über die Universität Siegen finden Sie auf unserer Homepage 
www.uni-siegen.de.

Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugniskopien, 
Schriftenverzeichnis und Darstellung der bisherigen Forschungs- und 
Lehrtätigkeit) richten Sie bitte bis zum 14.06.2012 an den Dekan der 
Naturwissenschaftlich-Technischen Fakultät der Universität Siegen, 57068 
Siegen, http://www.uni-siegen.de/nt/.