Wissenschaftliche:r Mitarbeiter:in (m/w/d), EG 13 TV-H

Die Stelle ist grundsätzlich teilbar. Eine Beschäftigung in Teilzeit (mindestens 50,00 Prozent) ist möglich. Die Stelle ist zunächst für 3 Jahre befristet mit der Möglichkeit der Verlängerung um weitere 2 Jahre (Qualifikationsstelle gem.§ 2 WissZeitVG). Die Möglichkeit zur Promotion ist gegeben.

Wer sind wir?

Das Fachgebiet Software Engineering am Fachbereich Elektrotechnik/Informatik der Universität Kassel erforscht Methoden und Werkzeuge für die systematische Entwicklung intelligenter und verlässlicher Softwaresysteme. Im Mittelpunkt steht die Frage, wie modellgetriebene, formale und KI-basierte Ansätze kombiniert werden können, um moderne Softwareentwicklung effektiver, sicherer und nachvollziehbarer zu gestalten.

Unsere Forschung bewegt sich an der Schnittstelle von Software Engineering, Modellierung, formalen Methoden und Künstlicher Intelligenz. Dabei arbeiten wir unter anderem an Themen wie modellgetriebener Entwicklung, Softwarequalität und Testen, intelligenten Entwicklerwerkzeugen, Reinforcement Learning sowie der Modellierung reaktiver Systeme.

Wir sind Teil des Fachbereichs Elektrotechnik/Informatik mit Forschungsschwerpunkten in den Bereichen Learning Systems, Smart Technologies und Softwaretechnik und arbeiten in einem interdisziplinären Umfeld mit nationalen und internationalen Forschungspartnern.

Wir suchen

Haben Sie Freude an der prototypischen Umsetzung und Evaluation neuer Konzepte und Werkzeuge? Wir suchen für unser Team motivierte Kolleginnen und Kollegen, die unsere Leidenschaft teilen, neuartige Methoden und Werkzeuge für die Entwicklung moderner Softwaresysteme zu erforschen: Wie lässt sich Softwareentwicklung intelligenter, sicherer und effektiver gestalten? Wie können komplexe Softwaresysteme so modelliert werden, dass sie einfacher entworfen, analysiert und verstanden werden können? Und wie können moderne KI- und Analyseverfahren Entwicklerinnen und Entwickler bei der Erstellung zuverlässiger Software unterstützen?

Forschungsschwerpunkt der Stelle

Im Rahmen dieser Promotionsstelle befassen Sie sich mit der Entwicklung und Evaluation neuartiger Methoden und Werkzeuge zur Unterstützung der Softwareentwicklung komplexer softwareintensiver Systeme. Ein besonderer Fokus liegt auf der Kombination modellbasierter Ansätze, formaler Methoden und KI-basierter Verfahren (z. B. Machine Learning oder Reinforcement Learning) im Softwareentwicklungsprozess.

Mögliche Forschungsthemen umfassen unter anderem:

• Modellgetriebene Softwareentwicklung
• Formale Methoden und Verifikation
• Softwarequalität, Testen und Debugging
• KI-gestützte Entwicklerwerkzeuge und Assistenzsysteme
• Reinforcement Learning und adaptive Softwaresysteme
• Modellierung und Analyse reaktiver Systeme
• Erklärbare und vertrauenswürdige KI in der Softwaretechnik

Die Stelle ist Teil des Aufbaus eines neuen Fachgebiets für Software Engineering an der Universität Kassel. Sie haben die Möglichkeit, Forschungsschwerpunkte, Lehrveranstaltungen und wissenschaftliche Infrastruktur aktiv mitzugestalten.

Aufgaben:

• Wissenschaftliche Mitarbeit in Forschung und Lehre im Fachgebiet Software Engineering
• Mitarbeit in Forschungsprojekten
• Mitarbeit an sowie zunehmend eigenständige Durchführung wissenschaftlicher Forschungsarbeiten mit dem Ziel internationaler Veröffentlichungen im Rahmen einer Promotion
• Beteiligung an der Lehre, insbesondere in den Bereichen Programmierung, Modellierung und Softwaretechnik
• Betreuung von Studierenden bei Praktika und Projektarbeiten

Voraussetzungen:

• Ein mit gutem oder sehr gutem Erfolg abgeschlossenes wissenschaftliches Hochschulstudium (z. B. Master) in Informatik oder einem eng verwandten Fachgebiet. Der geforderte Abschluss muss spätestens zum Einstellungstermin vorliegen
• Solide Kenntnisse in der Programmierung, dem objektorientierten Softwareentwurf und modernen Entwicklungswerkzeugen sowie Kenntnisse oder Interesse an einem oder mehreren der folgenden Themengebiete:: - Softwarequalität und Testen
• Formale Methoden
• Modellgetriebene Entwicklung
• Künstliche Intelligenz und Reinforcement Learning
• Moderne Entwicklerwerkzeuge und intelligente Assistenzsysteme (z.B. LLM-basierte Coding-Agenten)
• Sehr gute Englischkenntnisse in Wort und Schrift; die Fähigkeit zum wissenschaftlichen Arbeiten und Publizieren in englischer Sprache wird vorausgesetzt

Von Vorteil sind:

• Sehr gute Deutschkenntnisse
• Bereitschaft und Freude daran, sich in neue Konzepte und Technologien einzuarbeiten, eigenes Wissen im Team und in der Lehre weiterzugeben
• Interesse an wissenschaftlichem Austausch und Zusammenarbeit mit Kolleg:innen im Fachbereich sowie internationalen Forschungspartnern

Wir bieten:

• Zeit und Raum für eigene Ideen in einem aktiven und forschungsstarken Team
• Mitarbeit in aktuellen Forschungsprojekten mit Anbindung an nationale und internationale Kooperationspartner
• Teilnahme an wissenschaftlichen Konferenzen
• Möglichkeiten zur mobilen Arbeit sowie zur Weiterentwicklung hochschuldidaktischer und wissenschaftlicher Kompetenzen