Automated Reasoning

Elektronische Systeme und zunehmend auch kunstliche Intelligenz begleiten uns und bestimmen unseren Alltag, mit potenziell enormen gesellschaftlichen Auswirkungen. Wie konnen wir sicherstellen, dass selbstfahrende Autos oder KI-gestutzte Entscheidungen in Justiz und Medizin zuverlassig, fehlerfrei und gerecht sind? Unsere menschlichen Fahigkeiten, uber die Korrektheit großer komplizierter Compu- tersysteme zu schlussfolgern, sind eher begrenzt. Computer hingegen sind hervorragend darin, muhsames logisches Schließen zu automatisieren und formale Korrektheitsbeweise zu generieren. Daher werden automatisiertes Schließen und formale Verifikation zunehmend eingesetzt, um zu garantieren, dass Computersysteme sicher und fehlerfrei sind. Automatisiertes Schlussfolgern wird heutzutage routinemaßig fur Millionen von Sicher- heitsprufungen im Cloud-Computing und fur die Analyse von Millionen von Codezeilen eingesetzt. Außerdem werden solche formalen Methoden zunehmend verwendet, um die Robustheit und Fairness von neuronalen Netzwerken zu gewahrleisten. Diese Fortschritte werden durch grundlegende Forschung sowie Anwendungen vorangetrieben, im Rahmen einer bemerkenswert engen Zusammenarbeit zwischen industriellen Forschungsinstituten und der Wissenschaft. Folglich gibt es eine große Nachfrage nach Experten in diesem Bereich. Die Losung fur diesen Mangel liegt in der Ausbildung zukunftiger Fuhrungskrafte an der Schnittstelle von Sicherheit und maschinellem Lernen mit einem starken Hintergrund in automatisiertem Schlussfolgern (Automated Reasoning). Das Doktoratsprogramm Automated Reasoning soll mit Hilfe von Logik, maschi- nellem Beweisen und automatischen Analysen die Sicherheit von Software und kunstlicher Intelligenz gewahrleisten. Es bietet Nachwuchsforscher:innen spannende Forschungsthemen an der Schnittstelle von IT-Sicherheit und kunstlicher Intelligenz, internationale Praktika in fuhrenden Forschungslabors, intensive Betreuung und Kolloborationen mit exzellenten Wissenschaftler:innen. Ein starker Fokus auf Ethik zu Beginn des Programms bereitet die Studierenden weiters auf schwierige ethische Fragen vor, mit denen sie im Laufe ihrer Karriere konfrontiert sein werden. Der wissenschaftliche Nachwuchs wird von sieben herausragenden Forschern (und Preis- tragern namhafter Auszeichnungen) mit engen Verbindungen zur Industrie betreut, was die wissenschaftliche Exzellenz des Programms sicherstellt. Im Laufe des Programms erhalten die Studierenden Mentoring und Unterstutzung bei der Karriereplanung sowie Workshops zu Innovation und Unternehmertum. Der Anspruch des Doktoratsprogramms Automated Reasoning ist es, die nachste Generation von Forschern auszubilden, die die Welt der Elektronik und der Software (und daher unsere Welt) sicherer und zuverlassiger machen werden.