Logic List Mailing Archive

W3 Professorship in Theoretical Computer Science, Kassel (Germany), Deadline: 18 Apr 2013

UNIVERSITÄT KASSEL - W3 Theoretische Informatik/Formale Methoden - Frist: 
18.04.2013

Fachbereich Elektrotechnik/Informatik W 3 - Professur Theoretische 
Informatik/Formale Methoden.

Zum 01.10.2013 ; Kennziffer: 20781, Bewerbungsfrist: 18.04.2013, Präsident 
der Universität Kassel, 34109 Kassel.

Der/die zukünftige Stelleninhaber/-in soll das Gebiet der theoretischen 
Informatik in Forschung und Lehre vertreten und auf dem Gebiet der 
formalen Methoden in der Informatik wissenschaftlich ausgewiesen sein. Die 
Forschungsschwerpunkte sollen im Bereich der formalen Spezifikation, 
Verifikation und Synthese von Programmen liegen. Die Übernahme der 
Grundlagenveranstaltungen im Bereich der theoretischen Informatik in den 
Bachelor- und Masterstudiengängen des Fachbereichs wird erwartet. Die 
Beteiligung an Forschungsschwerpunkten und Erfahrung in der Einwerbung von 
Drittmitteln sind erwünscht. Die Professur wird im Rahmen des 
Heisenberg-Programms der Deutschen Forschungsgemeinschaft eingerichtet. 
Voraussetzung für die Ruferteilung ist der positive Bescheid seitens der 
Deut schen Forschungsgemeinschaft zu einem Förderantrag auf eine 
Heisenberg-Professur. Das Dienstverhältnis ist zunächst als W3-Professur 
auf drei Jahre befristet und wird - nach positiver Zwischenevaluation 
durch die DFG - in eine unbefristete W3-Professur überführt. Es gelten die 
Einstellungsvoraussetzungen und die Leistungsanforderungen gemäß §§ 61, 62 
des Hessischen Hochschulgesetzes. Für weitere Rückfragen steht Ihnen Herr 
Prof. Dr. Lutz WegnerTel.: 0561/804-6622, E-Mail: 
wegner@db.informatik.uni-kassel.de, zur Verfügung. Bewerbungsfrist: 
18.04.2013. Die Universität Kassel ist in hohem Maße an der beruflichen 
Zufriedenheit ihrer Mitarbeiterinnen und Mitarbeiter interessiert. Sie 
fördert daher mit ihrem Dual Career Service und ihrem Family Welcome 
Service die Vereinbarkeit von Partnerschaft und Familie mit der 
beruflichen Entwicklung. Es gehört zu den strategischen Zielen der 
Universität Kassel, den Anteil von Frauen in Forschung und Lehre deutlich 
zu steigern. Bewerbungen von Frauen sind deshalb besonders erwünscht. 
Schwerbehinderte Bewerber/-innen erhalten bei gleicher Eignung und 
Befähigung den Vorzug. Bewerbungen sind unter Angabe der Kennziffer gern 
auch in elektronischer Form an den Präsidenten der Universität Kassel, 
34109 Kassel bzw. bewerbungen@uni-kassel.de, zu richten