Wiss. Mitarbeiter/-in (EG 13 TV-H) - Fachgebiet Theoretische Informatik/Formale Methoden

Zur Vertretung einer Mitarbeiterin während der Mutterschutzfristen zunächst befristet bis zum 26.02.2019 gem. § 40 Nr. 8 zu § 30 TV-H i. V. mit § 21 BEEG. Verlängerung für einer sich evtl. anschließenden Elternzeit ist vorgesehen.

Aufgaben:

In der Forschung zeigen Sie Interesse an den Forschungsaktivitäten des Fachgebiets (Logik in der Informatik, formale Methoden, Programmverifikation, Synthese, etc.), arbeiten selbständig und im Team an den Forschungszielen des Fachgebiets mit und bringen auch eigene, neue Impulse darin ein. Sie beteiligen sich an der Betreuung von Bachelor- und Masterarbeiten am Fachgebiet. Das Promotionsthema sollte im Bereich formaler Methoden mit Bezug zu Spezifikation, Verifikation und Synthese korrekter Systeme liegen. 4 SWS – Lehrverpflichtung.

Voraussetzungen:

• abgeschlossenes wissenschaftliches Hochschulstudium in Informatik, Mathematik oder vergleichbaren Bereichen
• gute Kenntnisse in theoretischer Informatik, möglichst mit vertieften Kenntnissen in einem Bereich, der die am Fachgebiet bereits vorhandene Expertise sinnvoll ergänzt
• Deutsch fließend in Wort und Schrift sowie gute Englischkenntnisse

Für Rückfragen steht Prof. Dr. Martin Lange, Tel.: 0561-804-6261, E-Mail: martin.lange[at]uni-kassel[dot]de, zur Verfügung.

Der Schutz Ihrer personenbezogenen Daten ist uns ein wichtiges Anliegen, daher werden wir mit Ihren persönlichen Daten sorgfältig umgehen. Wenn Sie uns Ihre Daten geben, gestatten Sie uns damit die Speicherung und Nutzung im Sinne des Hessischen Datenschutzgesetzes. Hiergegen können Sie jederzeit Widerspruch einlegen. Ihre personenbezogenen Daten werden dann gelöscht.

Die Universität Kassel ist im Sinne der Chancengleichheit bestrebt, Frauen und Männern die gleichen Entwicklungsmöglichkeiten zu bieten und bestehenden Nachteilen entgegenzuwirken. Angestrebt wird eine deutliche Erhöhung des Anteils von Frauen in Forschung und Lehre. Qualifizierte Frauen werden deshalb ausdrücklich aufgefordert, sich zu bewerben. Schwerbehinderte Bewerber/-innen erhalten bei gleicher Eignung und Befähigung den Vorzug. Vollzeitstellen sind grundsätzlich teilbar. Bitte reichen Sie uns Ihre Bewerbungsunterlagen nur in Kopie (keine Mappen) ein, da diese nach Abschluss des Auswahlverfahrens nicht zurückgesandt werden können; sie werden unter Beachtung datenschutzrechtlicher Bestimmungen vernichtet. Bewerbungen mit aussagekräftigen Unterlagen sind unter Angabe der Kennziffer, gern auch in elektronischer Form, an den Präsidenten der Universität Kassel, 34109 Kassel bzw. bewerbungen[at]uni-kassel[dot]de, zu richten.