PhD Position, Open Topic - Software Quality And Verification, Coding And AI, Software Security (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…