Für Software für konventionelle Computer wurde eine Vielzahl von Testmethoden entwickelt. Sie helfen durch die Programmierung verursachte Fehler auszuschließen oder zu identifizieren. Auch für Quantencomputer sind solche Verfahren wichtig. Da Quantencomputer auf anderen physikalischen Gesetzen aufbauen, die gewisse Operationen ausschließen (z.B. Kopieren), aber auch neue Möglichkeiten bieten (z.B. Superposition von Zuständen), ist noch viel Grundlagenforschung zu Testmethoden von Quantensoftware nötig.

In Ihrer Promotion werden Sie Methoden aus der Quantenfehlerkorrektur auf den Test von Software übertragen und so bewährte Konzepte aus dem konventionellen Testen für Quantencomputer anpassen. So können wichtige Eigenschaften des Zustandes überprüft werden, ohne die Ausführung der Software zu stören. Sie werden den Nutzen der Methoden hinsichtlich der Vermeidung von Programmierfehlern analysieren und praktische Handlungsempfehlungen für Entwickler erarbeiten. Ihre Arbeit ist ein wichtiger Baustein zum theoretischen Verständnis von Tests von Quantensoftware und zugleich sehr relevant für die Praxis der Softwareentwicklung für Quantencomputer.

Sie promovieren in der Gruppe „Quantencomputing: Methoden und Implementierung“ im Institut für Softwaretechnologie unter Leitung von Dr. Michael Epping und profitieren von dem täglichen Austausch mit unseren Expertinnen und Experten für Quantencomputing in einem hochinnovativen und aktiven Forschungsumfeld. Darüber hinaus stehen sie in regelmäßigem Kontakt mit Ihrem Doktorvater Prof. Dr. Michael Felderer von der Universität zu Köln.

Das DLR Graduiertenkolleg macht Sie mit speziellen Veranstaltungen zu Quantencomputing und vielen weiteren spannenden Angeboten fit für Ihre Mission. Unser vielfältiges Angebot an Schulungen und anderen Veranstaltungsformen ermöglichen Ihnen sich fachlich, beruflich und persönlich weiterzuentwickeln. Wir ermöglichen familienfreundliche flexible Arbeitszeiten und -formen, wie z.B. mobiles Arbeiten. Gerne finden wir mit Ihnen die ideale Lösung für Ihre Anforderungen aus privaten Pflichten.

Ein Plan für Ihr Promotionsvorhaben und die professionelle Betreuung stellen sicher, dass Sie innerhalb von drei Jahren erfolgreich promovieren können. Ausgehend davon genießen Sie die wissenschaftliche Freiheit, die Verantwortung für die Ausrichtung Ihrer Forschung zu übernehmen.