PhD Position, Open Topic - Software Quality And Verification, Coding And AI, Software Security (m/w/d)
Universität St. Gallen — Sankt Gallen, Saint-Gall
Publiée le 14/09/2026 · Offre active, sourcée auprès d'un partenaire officiel
Ü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…
Voir l'offre et postuler — entrez votre email. Gratuit pour les diplômé(e)s et étudiant(e)s du Groupe ECL, première offre débloquée pour tout le monde.
Entreprise ? Confiez-nous un mandat →
🛡️ Cette annonce vous semble suspecte (rendez-vous hors cadre professionnel, demande d'argent, identité douteuse) ? Signaler cette offre · Nos conseils de sécurité