PhD Position, Open Topic - Software Quality And Verification, Coding And AI, Software Security (m/w/d)

Universität St. Gallen Sankt Gallen, Switzerland Posted 14 Sept 2026

About this role

Ü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…

How to apply

Applications are handled by the employer. Open the original advert to apply, or create a free NextMove account to track deadlines and see similar matches.