Ausschreibungs-ID:
fb12-0008-wmz-2026
Eintrittstermin: 01.09.2026
Bewerbungsfrist: 31.05.2026
Entgeltgruppe: E 13 TV-H
Befristung:
31.05.2029
Umfang: Vollzeit
Die 1527 gegründete Philipps-Universität bietet vielfach ausgezeichnete Lehre für rund 22.000 Studierende und stellt sich mit exzellenter Forschung in der Breite der Wissenschaft den wichtigen Themen unserer Zeit.
Am Fachbereich Mathematik und Informatik, AG Softwaretechnik, ist zum 01.09.2026 befristet bis 31.05.2029, soweit keine Qualifizierungsvorzeiten anzurechnen sind, eine drittmittelfinanzierte Vollzeitstelle als
Wissenschaftlicher Mitarbeiterin (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
Kontakt für weitere Informationen Prof. Dr. Gabriele Taentzer
+49 6421-28 21532
taentzer@mathematik.uni-marburg.de
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. 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.