PhD-Stelle, offenes Thema - Softwarequalität und Verifikation, Programmierung und KI, Softwaresicherheit (m/w/d)

Über den Job

Die Gruppe bietet ein lebendiges Forschungsumfeld im Bereich Softwarequalität, Sicherheit, Verifikation und KI-gestützte Softwaresysteme. Doktoranden haben beträchtliche Freiheit, eine individuelle Forschungsrichtung zu entwickeln, indem sie Themen auswählen und kombinieren, die mit unseren breiteren Forschungsaktivitäten übereinstimmen. Aktuelle Richtungen umfassen beispielsweise Softwareverifikation, e-Graphs, Infrastructure as Code, KI-unterstützte Codegenerierung, Softwaretests, lokal-first Software und CRDTs.
Wir publizieren in führenden internationalen Fachzeitschriften in mehreren Bereichen und werden durch wettbewerbsfähige Fördermittel von bedeutenden nationalen und europäischen Geldgebern unterstützt, darunter der Schweizerische Nationalfonds (SNF) und Horizon Europe. Die Stelle bietet die Möglichkeit, zu international sichtbarer Forschung beizutragen und innerhalb eines starken internationalen akademischen Netzwerks zusammenzuarbeiten.

• Entwicklung eines individuellen PhD-Forschungsthemas durch Auswahl und gegebenenfalls Kombination von Forschungsrichtungen in Softwaretechnik, Sicherheit, Verifikation und KI.
• Mögliche Themen umfassen Softwareverifikation, e-Graphs und Gleichheitssättigung, Infrastructure as Code, KI-unterstützte Codegenerierung und Softwareentwicklung, Softwaretests, lokal-first Software, verteilte Systeme und CRDTs.
• Die genaue Forschungsrichtung wird gemeinsam mit dem Kandidaten basierend auf dessen Interessen und Hintergrund sowie den laufenden Forschungsaktivitäten des Forschungsumfelds definiert.

• Ausgezeichneter Masterabschluss in Informatik, Softwaretechnik oder einem eng verwandten Fachgebiet.
• Starkes Interesse an Forschung in einem oder mehreren Bereichen der Softwaretechnik, Programmiersprachen, Softwaresicherheit, formalen Methoden, Softwareverifikation, verteilten Systemen oder künstlicher Intelligenz.
• Starke Programmier- und Softwareentwicklungsfähigkeiten. Interesse sowohl an konzeptioneller Forschung als auch an der Implementierung und experimentellen Bewertung von Forschungsprototypen.
• Vorherige Grundkenntnisse in Themen wie formalen Methoden, Programmanalyse, Softwaretests, Sicherheit, verteilten Systemen, maschinellem Lernen.
• Fähigkeit, selbstständig zu arbeiten und originelle Forschungsansätze zu entwickeln.
• Starke analytische und problemlösende Fähigkeiten.
• Ausgezeichnete schriftliche und mündliche Englischkenntnisse.
• Neugier, Kreativität und Begeisterung für die Arbeit in einem internationalen Forschungsumfeld.

"Ein Ort, an dem Wissen geschaffen wird" - Als eine der führenden europäischen Universitäten für Wirtschaftswissenschaften und Betriebswirtschaft ist die Universität St. Gallen (HSG), Schweiz, der Ausbildung von über 10.000 Studierenden verpflichtet. Die HSG ist einer der grössten Arbeitgeber der Region und bietet mehr als 3.800 Forschenden, Lehrenden und Fachkräften ein attraktives und innovatives Umfeld.