Am Lehrstuhl für Softwaretechnik und Programmiersprachen der Otto-Friedrich-Universität Bamberg
ist zum 01.01.2027 eine Stelle als
Doktorand/in – Wissenschaftliche/r Mitarbeiter/in (m/w/d)
(100% der regelmäßigen Arbeitszeit; Vergütungsgruppe TV-L E 13)
oder
Akademische Rätin auf Zeit/Akademischer Rat auf Zeit (m/w/d)
(100% der regelmäßigen Arbeitszeit; Vergütungsgruppe A 13)
oder
Post-Doc – Wissenschaftliche/r Mitarbeiter/in (m/w/d)
(100% der regelmäßigen Arbeitszeit; Vergütungsgruppe TV-L E 13)
in einem befristeten Beschäftigungsverhältnis als wissenschaftliche/r Mitarbeiter/-in oder bei
Vorliegen der erforderlichen Voraussetzungen in einem Beamtenverhältnis zunächst auf drei Jahre zu
besetzen.
Die Otto-Friedrich-Universität Bamberg ist eine mittelgroße Universität mit etwa 10.000 Studierenden.
Der Lehrstuhl für Softwaretechnik und Programmiersprachen beschäftigt sich in seiner Forschung und
Lehre schwerpunktmäßig mit Themen des formalen Software Engineering, insbesondere mit
innovativen Techniken und Anwendungen der Softwaremodellierung, -analyse und -verifikation. Dazu
gehört die Entwicklung theoretischer Grundlagen und Algorithmen ebenso wie der Bau von
Softwarewerkzeugen und die Konzeption von Entwicklungs- und Qualitätsmanagementmethoden. Die
vielfältigen Anwendungsgebiete umfassen komplexe, intelligente IT-Systeme ebenso wie eingebettete,
cyber-physikalische Systeme.
Ihre Rolle:
• Durchführung und Veröffentlichung hochwertiger Forschung sowie Präsentation der
Forschungsergebnisse auf nationalen und internationalen Konferenzen
- Beteiligung an der deutsch- und englischsprachigen Bachelor- und Masterlehre des Lehrstuhls,
insbes. im Bereich des Software Engineering, im Umfang von fünf Semesterwochenstunden
- Mitarbeit in einem interessanten, internationalen Lehrstuhlteam an der Fakultät für
Wirtschaftsinformatik und Angewandte Informatik
- Entwicklung eines eigenen Dissertationsprojekts (für Doktorandinnen/Doktoranden) bzw.
Habilitationsprojekts (bei Einstellung als Akademische Rätin auf Zeit/Akademischer Rat auf Zeit/
Post-Doc) im Bereich Software Engineering
Ihr Profil:
• Überdurchschnittlicher Universitätsabschluss (Master, oder vergleichbarer Abschluss) in Informatik
oder einem eng verwandten Fach sowie – für die Stelle als Post-Doc/Akademischer Rat auf Zeit – eine
sehr gute Promotion in Informatik oder einem eng verwandten Fach
- Vertiefte Kenntnisse in mindestens einem der folgenden Bereiche:
a) Formale Methoden des Software Engineering
b) Modellgetriebene Softwareentwicklung
c) Softwarequalitätssicherung und Softwaretest
d) Techniken und Methoden der KI im formalen Software Engineering
- Mindestens gute Deutsch- und Englischkenntnisse in Wort und Schrift
- Fähigkeit, eigenständig und im Team zu arbeiten
- Bereitschaft zu hochwertiger Forschung und Lehre