Logic List Mailing Archive

W3 Professorship in Theoretical Computer Science, Braunschweig (Germany), Deadline: 30 Sep 2014

TU BRAUNSCHWEIG - W3 Theoretische Informatik - Frist: 30.09.2014

In der Carl-Friedrich-Gauß-Fakultät ist zum 1. April 2016 eine 
Universitätsprofessur (W3) für Theoretische Informatik (Nachfolge Prof. 
Dr. J. Adámek) zu besetzen. Der/Die Stelleninhaber/in soll die 
theoretische Informatik in ihrer Breite in Forschung und Lehre vertreten. 
In der Forschung soll er/sie in mindestens einem der folgenden Bereiche 
wissenschaftlich ausgewiesen sein: Logik und Verifikation (Statische 
Analysen, SAT-Solver, Model Checking, Deduktion); Automaten, formale 
Sprachen, Berechenbarkeit, und Komplexität; Maschinelles Lernen, Knowledge 
Discovery, statistische und induktive Inferenz; theoretische Grundlagen 
von komplexen verteilten Systemen. In der Lehre ist die Professur an den 
Bachelor- und Master-Studiengängen der Informatik, insbesondere an den 
Grundlagenveranstaltungen beteiligt. Von besonderer Wichtigkeit ist das 
Potenzial der Kandidatin/des Kandidaten zur erfolgreichen Einwerbung von 
Drittmitteln (insbesondere DFG), sowie zur Zusammenarbeit mit den 
Ingenieurwissenschaften. Mitarbeit in den Gremien der universitären 
Selbstverwaltung wird erwartet. Die Einstellungsvoraussetzungen ergeben 
sich aus § 25 des Niedersächsischen Hochschulgesetzes. Die TU Braunschweig 
ist Mitgliedsuniversität der Niedersächsischen Technischen Hochschule 
(NTH), der auch die zu besetzende Professur zugeordnet ist. Von den 
Bewerberinnen und Bewerbern wird deshalb die Bereitschaft vorausgesetzt, 
an koordinierten interdisziplinären Programmen mitzuwirken und sich in die 
Zusammenarbeit der Universitäten in Niedersachsen, insbesondere im Rahmen 
der Niedersächsischen Technischen Hochschule (NTH), in Forschung und Lehre 
einzubringen. Weitere Informationen zur NTH finden Sie unter: 
http://www.nth-online.org Auf Wunsch kann Teilzeitbeschäftigung ermöglicht 
werden. Die TU Braunschweig hat sich das strategische Ziel gesetzt, den 
Anteil von Frauen deutlich zu erhöhen. Wissenschaftlerinnen werden deshalb 
nachdrücklich um ihre Bewerbung gebeten. Schwerbehinderte Bewerberinnen 
und Bewerber werden bei gleicher Eignung bevorzugt. Bewerbungen von 
Wissenschaftlerinnen und Wissenschaftlern aus dem Ausland sind 
ausdrücklich erwünscht. Bewerberinnen und Bewerber, die zum Zeitpunkt der 
Ruferteilung das 50. Lebensjahr vollendet haben und nicht bereits im 
Beamtenverhältnis stehen, werden grundsätzlich im Angestelltenverhältnis 
eingestellt. Weitere Auskünfte erteilt die Vorsitzende der 
Berufungskommission, Frau Prof. Dr.-Ing. Ina Schaefer, Tel. +49 (0) 531 
391-2275. Schriftliche Bewerbungen richten Sie bitte bis zum 30.09.2014 
auf postalischem Wege an den Dekan der Carl-Friedrich-Gauß-Fakultät Herrn 
Prof. Dr. Thomas Sonar, Rebenring 58A, 38106 Braunschweig.