Wissenschaftliche*r Mitarbeiter*in (m/w/d), EG 13 TV-H - im Fachgebiet Theoretische Informatik / Formale Methoden

Die Stelle ist zunächst für 3 Jahre befristet mit der Möglichkeit der Verlängerung um weitere 2 Jahre (Qualifikationsstelle gem. § 65 HHG i. V. mit § 2 Abs. 1 Satz 1 WissZeitVG). Die Möglichkeit zur Promotion ist gegeben.

Aufgaben:

In der Forschung entwickeln Sie interaktive Lehr-/Lerntools auf Basis formaler Methoden, z.B. aus dem Bereich der Automatentheorie, des Model-Checkings und der Programmanalyse. Sie tragen dazu bei, solche Methoden auf andere Fächer, insbesondere naturwissenschaftliche, zu übertragen. Sie tragen dazu bei, eine bestehende Kollaboration mit dem FG Biologiedidaktik zu vertiefen. Zu Ihren Aufgabenstellungen gehören u.a.:

• Analyse didaktischer Fragestellungen auf ihre Eignung in o.g. Rahmen
• Kommunikation mit entsprechenden Fachdidaktiken
• Identifikation, Anpassung und Entwicklung geeigneter formaler Methoden zur Beantwortung o.g. Fragestellungen
• Entwicklung eines Lernsystems inkl. der Implementierung dieser Methoden
• Entwicklung und Durchführung geeigneter Evaluationsfragestellungen
• 4 SWS Lehrverpflichtung im Rahmen der Hessischen Lehrverpflichtungsverordnung

Sie 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 Durchführung von Lehrveranstaltungen des Fachgebiets und betreuen Abschlussarbeiten mit Bezug zu Ihren Forschungsinteressen.

Voraussetzungen:

• Mit sehr gutem bis gutem Erfolg abgeschlossenes wissenschaftliches Hochschulstudium der Informatik, Bio-Informatik oder des Lehramts Informatik
• Gute Kenntnisse im Bereich der theoretischen Informatik
• Gute Programmierkenntnisse
• 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 Datenschutz- und Informationsfreiheitsgesetzes. Hiergegen können Sie jederzeit Widerspruch einlegen. Ihre personenbezogenen Daten werden dann gelöscht. Informationen gemäß Art. 13 DSGVO für das Bewerbungsverfahren bei der Universität Kassel finden Sie unter www.uni-kassel.de/go/ausschreibung-datenschutz

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 im Betreff, gern auch in elektronischer Form, an den Präsidenten der Universität Kassel, 34109 Kassel bzw. bewerbungen[at]uni-kassel[dot]de, zu richten.