Wissenschaftliche:r Mitarbeiter:in , EG 13 TV-H, Fachbereich Elektrotechnik/Informatik - Fachgebiet Software Engineering

Universität Kassel
Kassel, Germany
10 days ago

Role details

Contract type
Temporary contract
Employment type
Part-time / full-time
Working hours
Regular working hours
Languages
English, German

Job location

Kassel, Germany

Tech stack

Artificial Intelligence
Software Quality
Computer Programming
Software Debugging
Programming Tools
Machine Learning
Object-Oriented Software Development
Software Engineering
Software Systems
Model-Driven Development
Large Language Models
Information Technology
Formal Methods

Job description

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., * 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

Requirements

  • 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

Benefits & conditions

  • 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

Für Rückfragen steht Prof. Dr. Greenyer, Tel.: +49 561 804-6260, zur Verfügung., als Beschäftigte:r der Universität Kassel

  • eröffnet sich Ihnen ein interessantes und vielfältiges Aufgabengebiet im Rahmen einer modernen und aufstrebenden Universität,
  • werden Sie Teil eines interdisziplinären Teams mit guter und kollegialer Arbeitsatmosphäre,
  • besteht für Sie die Möglichkeit, an fachlichen und überfachlichen Weiterbildungsmaßnahmen teilzunehmen,
  • befindet sich Ihr Arbeitsplatz mit guter Anbindung an den öffentlichen Nahverkehr, der derzeit für Sie kostenlos nutzbar ist.

Profitieren Sie darüber hinaus von den vielfältigen Vorteilen eines Beschäftigungsverhältnisses im öffentlichen Dienst, wie u. a.:

  • einer zusätzlichen betrieblichen Altersversorgung (VBL),
  • einem optionalen Kinderzuschlag gem. TV-Hessen, einer familienfreundlichen Hochschule (u. a. Kinderbetreuung für Notfälle),
  • einer Jahressonderzahlung im Monat November,
  • einem Anspruch auf vermögenswirksame Leistungen,
  • einer Förderung des ehrenamtlichen Engagements,
  • einer kostengünstigen Teilnahme am Hochschulsport und am vollständigen Fitnessangebot im Rahmen von Unifit sowie der betrieblichen Gesundheitsförderung.

About the company

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.

Apply for this position