Wissenschaftliche*r Mitarbeiter*in (Postdoktorand*in)

zu besetzen. Die Eingruppierung erfolgt nach Entgeltgruppe 13 des Tarifvertrages des Landes Hessen.

Das DFG geförderte Projekt „Strategien zur Konfliktvermeidung und proaktiven Konfliktlösung für Graphtransformation“ beschäftigt sich mit Konflikten zwischen verschiedenen Lösungen in der Softwareentwicklung. Heutige Methoden und Werkzeuge sind zwar gut darin, Konflikte zu erkennen, bieten aber wenig Unterstützung, um sie effektiv zu bewältigen. In diesem Projekt sollen neue Methoden und Werkzeuge entwickelt werden, um Konflikte in der Softwareentwicklung proaktiv zu verhindern oder zu lösen. Die Konzepte der Graphentransformation bieten eine leistungsstarke Grundlage für die Entwicklung eines solchen proaktiven Ansatzes.

Ihre Aufgaben:

• Entwicklung von Strategien zur Vermeidung und proaktiven Lösung von Konflikten zwischen Graphtransformationen unter Verwendung heuristischer und metaheuristischer Suche
• Entwicklung dieser Strategien basierend auf der Theorie der Graphtransformation
• Implementierung dieser Strategien auf der Basis von Henshin, einer Modelltransformationsumgebung, die Graphtransformationskonzepte verwendet
• selbstständige wissenschaftliche Dienstleistungen in der Forschung
• nationale und internationale Kommunikation von Forschungsergebnissen durch wissenschaftliche Veröffentlichungen in Fachzeitschriften und Konferenzbänden sowie Vorträge auf Konferenzen

Es handelt sich um eine befristet zu besetzende Qualifizierungsstelle zum Erwerb weiterer wissenschaftlicher Kompetenzen (z. B. Vorbereitung auf eine nachfolgende Qualifikationsphase). Im Rahmen der übertragenen Aufgaben wird die Möglichkeit zu eigenständiger wissenschaftlicher Arbeit geboten, die der eigenen wissenschaftlichen Qualifizierung dient. Die Befristung richtet sich nach § 2 Abs. 1 WissZeitVG.

Ihr Profil:

• abgeschlossenes wissenschaftliches Hochschulstudium (Diplom, Master oder vergleichbar) und sehr gut abgeschlossene Promotion im Fach Informatik
• exzellente Kenntnisse der Theorie der Graphtransformation und der Kategorientheorie
• sehr gute Kenntnisse in der Programmierung (insbesondere Java) und in der Anwendung von Entwicklungswerkzeugen wie Git und Eclipse, sowie weiterer Softwareentwicklungskonzepte
• gute Kenntnisse in den folgenden Bereichen: Formale Methoden in der Softwareentwicklung, Optimierung, und Anwendung generativer KI
• Fähigkeit zur selbstständigen wissenschaftlichen Arbeit, erfolgreiche Veröffentlichung von Forschungsergebnissen, und Nachweis von Vorträgen auf internationalen Konferenzen
• sehr gute mündliche und schriftliche Deutsch- und Englischkenntnisse

Die Bereitschaft zur eigenen wissenschaftlichen Qualifizierung wird erwartet.

Wir bieten:

• ein interessantes wissenschaftliches Arbeitsumfeld
• viel Gestaltungsfreiheit
• Teamarbeit mit Kommunikation auf Augenhöhe
• flexible Arbeitszeiten und Möglichkeiten für mobiles Arbeiten

Wir fördern Frauen und fordern sie deshalb ausdrücklich zur Bewerbung auf. In Bereichen, in denen Frauen unterrepräsentiert sind, werden Frauen bei gleicher Eignung bevorzugt berücksichtigt. Als familienfreundliche Hochschule unterstützen wir unsere Beschäftigten bei der Vereinbarkeit von Familie und Beruf. Eine Besetzung des Arbeitsplatzes in Teilzeit sowie eine Reduzierung der Arbeitszeit ist grundsätzlich möglich. Menschen mit Behinderung im Sinne des § 2 Abs. 2 und 3 SGB IX werden bei gleicher Eignung bevorzugt. Bewerbungs- und Vorstellungskosten werden nicht erstattet.

Bitte bewerben Sie sich bis zum 31.05.2026 ausschließlich über den untenstehenden Bewerbungs-Button.