Ausschreibungen

Neue Ausschreibung erstellen

Auf dieser Seite finden Sie Bachelor- und Studienarbeiten sowie Ausschreibungen für Mitarbeiter- und Hilfskraftstellen:

• Bachelorarbeiten
• Masterarbeiten
• Stellen als Hilfskraft

Informationen zum generellen Ablauf von Abschlussarbeiten bei SDQ erhalten Sie auf der Seite Abschlussarbeit/Studienarbeit.

Nicht alle offenen bzw. möglichen Themen sind ausgeschrieben und über diese Seite auffindbar. Bei allgemeinem Interesse an den Themen unseres Lehrstuhl, architekturbasierte Qualitätsvorhersagen für Software und modellgetriebene Software-Entwicklung mit dem Schwerpunkt auf Modellkonsistenzhaltung, kontaktieren Sie einfach eine/-n der Mitarbeiterinnen und Mitarbeiter der Gruppen DSiS (Prof. Reussner) und MCSE (Prof. Koziolek), ggf. schon anhand der von ihnen auf ihren Webseiten beschriebenen Forschungsinteressen. Es lässt sich dann üblicherweise ein Thema entsprechend unserer aktuellen Forschungsthemen erstellen, sowie speziell auf Ihre Interessen zuschneiden. Sie können auch ein individuelles Thema vorschlagen.

Falls Sie eine Bachelorarbeit suchen und ein Thema interessant finden, dass hier nur als Masterarbeit ausgeschrieben ist, dann kontaktieren Sie bitte den Betreuer / die Betreuerin, um zu erfragen, ob das Thema auch als Bachelorarbeit bearbeitet werden kann. Meistens kann ein reduzierte Aufgabenstellung als Bachelorarbeit formuliert werden.

Bachelorarbeiten

Thema	Betreuer/-in
Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification	Bahareh Taghavi
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich Niclas Kannengießer
Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen	Christopher Gerking
Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen	Christopher Gerking

Masterarbeiten

Thema	Betreuer/-in
Semantiken von Modelländerungen	Thomas Weber
Uncertainty propagation in Software-intensive systems	Raffaela Mirandola
Design-time optimization of runtime adaptation strategies using Reinforcement learning-based methods	Martina Rapp
Explainability Requirements in Software-Intensive Systems	Raffaela Mirandola
Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification	Bahareh Taghavi
Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen	Christopher Gerking
Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen	Christopher Gerking
Classification of composition operators for model-based analysis	Robert Heinrich Bahareh Taghavi
Properties and Granularities of Transactions in the Development of Cyber-Physical Systems	Thomas Weber
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich Niclas Kannengießer
Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen	Christopher Gerking
Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen	Christopher Gerking

Hilfskräfte

Thema	Betreuer
Tutorinnen und Tutoren für „Programmieren“ im WS 2024/25	Programmieren/Übungsleitung
Weiterentwicklung und Wartung des Traceability Link Recovery-Ansatzes ArDoCo (inkl. CI/CD)	Jan Keim Dominik Fuchß Sophie Corallo
Aufbereiten und Dokumentieren von Projektwissen für die Lehre	Robert Heinrich Nicolas Boltz
Unterstützung beim CI/CD Build- Prozess großer Forschungsprojekte	Larissa Schmid Nicolas Boltz
Kontinuierliche Modellierung und Analyse von Annahmen im Bereich der Softwaresicherheit	Frederik Reiche Sophie Corallo

Promotionsstellen

Derzeit gibt es bei SDQ mehrere offene Promotionsstellen in unterschiedlichen Projekten, so z.B. im SFB 1608.

Wenn Sie Interesse an einer Promotion bei SDQ haben, und Vorwissen in Softwaretechnik und einem oder mehreren der folgenden Themen besitzen, bewerben Sie sich bitte bei uns.

• Model-Driven Engineering
• Software-Architektur
• Software Performance-Auswertung und -Vorhersage
• Computerlinguistik/Natural language processing
• Artifact Evaluation

Senden Sie ihre Bewerbung mit Lebenslauf und passendem Motivationsschreiben für eines der o.g. Themen an Ralf Reussner und Anne Koziolek.