Die Fakultät für Informatik und Biomedizinische Technik der Technischen Universität Graz verschreibt sich der Exzellenz in Forschung und Lehre. Die Forschung an der Fakultät deckt ein breites Themenspektrum ab, das sich in unseren Forschungsschwerpunkten „Biomedical Engineering“, „Safety & Security“, „Intelligent Systems“ und „Visual Computing“ widerspiegelt. Wir sind stolz auf unsere hervorragende angewandte und grundlagenorientierte Forschung und fördern interdisziplinäre Projekte. Die Fakultät pflegt zudem einen engen Dialog mit der Wirtschaft und fördert die Gründung von Spin-off-Unternehmen.
An der Fakultät für Informatik und Biomedizinische Technik der Technischen Universität Graz ist die Stelle
einer Tenure-Track Professur für Formal Methods for Dependability
voraussichtlich ab 1.5.2020 zu besetzen. Wir sind auf der Suche nach einer/m exzellenten ForscherIn mit fundierten Kenntnissen in formalen Methoden für zuverlässige sichere Systeme. Von ihr/ihm wird erwartet, dass sie/er Grundlagenforschung in den Bereichen formale Modellierung, Analyse, Verifikation und Synthese betreibt und an Anwendungen für Sicherheit und/oder KI interessiert ist.
Die Professur ist Teil des "Instituts für Angewandte Informationsverarbeitung und Kommunikation" und soll die aktuellen Stellen des Instituts im Bereich Informationssicherheit ergänzen.
Mit 30 Jahren Forschung auf dem Gebiet der Informationssicherheit ist das Institut für Angewandte Informationsverarbeitung und Kommunikation (IAIK) ein etablierter Akteur auf diesem Gebiet. Mehr als 60 Forscher arbeiten an Themen wie security architectures, side channels, Kryptographie, formal methods, identity management, and e-government.
Zu den jüngsten Highlights der IAIK-Forschung gehören die Prozessorschwachstellen "Meltdown" und "Spectre". IAIK-Kryptographen haben an großen Wettbewerben in der Kryptographie wie AES, SHA-3 und CAESAR teilgenommen; diese Beiträge wurden immer in die engere Wahl gezogen oder haben sogar den Wettbewerb gewonnen. Das IAIK hat eine starke Präsenz in formalen Methoden aufgebaut, die Schwerpunkte in reaktiver Synthese und in jüngster Zeit in der Verifikation von Sicherheitskonstrukten bilden.
Das Institut arbeitet eng mit Forschungsgruppen und Industriepartnern auf der ganzen Welt zusammen. Auch der kürzlich angekündigte Cybersecurity Campus Graz schafft eine einzigartige lokale Umgebung. Diese neue Drehscheibe für Informationssicherheit vereint Grundlagenforschung, Bildung, Technologietransfer und Industriepartner unter einem Dach.
Die Kurse des IAIK gehören typischerweise zu den am besten bewerteten der Informatik-Curricula. Auf Bachelor-Ebene sind dies Computerorganisation, Betriebssysteme, Computernetzwerke, Systemprogrammierung, Logik und Berechenbarkeit sowie Informationssicherheit.
Anstellungserfordernisse:
- Abgeschlossenes Doktoratstudium/PhD oder gleichwertiges Studium
Gewünschte Qualifikationen:
- Hervorragende Leistungen und Potenzial in der Forschung, exzellente Publikationstätigkeit, internationale Reputation
- Internationale Erfahrung in Form einer Promotions- oder PostDoc-Stelle an einer international anerkannten Universität oder Forschungseinrichtung
- Erfahrung in der Konzeption und Durchführung von Forschungsprojekten sowie Bereitschaft und Fähigkeit eine Forschungsgruppe aufzubauen und zu leiten
- Begeisterung für exzellente Lehre, universitäre Lehrerfahrung oder ein Lehrkonzept sowie die Fähigkeit und Bereitschaft, in allen curricularen Stufen (Bachelor, Master, Doktorat) zu lehren, Abschlussarbeiten zu betreuen und den wissenschaftlichen Nachwuchs zu fördern
Hervorragende Englischkenntnisse in Wort und Schrift werden gefordert, um das Fach international vertreten zu können und um eine Mitwirkung in den englischsprachigen Masterstudien des Faches Informatik zu ermöglichen. Sofern Deutschkenntnisse nicht vorliegen, wird die Bereitschaft zum Erlernen der deutschen Sprache vorausgesetzt. Die Verlegung des Wohnsitzes in den Großraum Graz wird ebenso vorausgesetzt.
Stellenbeschreibung:
Bei der ausgeschriebenen Stelle handelt es sich um eine wissenschaftliche Tenure-Track Professur (§ 99 Abs. 5 UG ), zunächst befristet für 6 Jahre. Nach Abschluss einer Qualifizierungsvereinbarung wird der/die Stelleninhaber/in als „Assistant Professor“ angestellt. Nach positiver Evaluierung einer Qualifizierungsvereinbarung wird die Stelle in eine unbefristete Stelle als „Associate Professor“ umgewandelt. Nach einem weiteren kompetitiven Verfahren ist eine Berufung zur/zum Professor/in auf derselben Stelle möglich.
Einstufung:
B 1 nach Kollektivvertrag für die Arbeitnehmerinnen/Arbeitnehmer der Universitäten; das monatliche Entgelt für diese Verwendung beträgt derzeit inkl. Überzahlung 4.214,50 € brutto (14× jährlich) auf Vollzeitbasis.
Ihre Bewerbung:
Interessierte Bewerber und Bewerberinnen werden gebeten, ihre Bewerbung unter Angabe der genauen Bezeichnung der Stelle und Kennzahl:
- über das Antragsformular,
- einschließlich eines Lebenslaufs (mit Kopien der Zeugnisse und Urkunden),
- eine Liste der Veröffentlichungen mit Kopien ihrer 5 wichtigsten Veröffentlichungen,
- eine Forschungsaussage, die vergangene und geplante Forschungsaktivitäten beschreibt (max. 5 Seiten),
- eine Unterrichtsaussage (max. 5 Seiten) und Auswertungen vergangener Unterrichtsaktivitäten (falls vorhanden),
an den Dekan der Fakultät für Informatik und Biomedizinische Technik der Technischen Universität Graz, Roderick Bloem, E-Mail: applications.csbmenoSpam@tugraz.at zu übermitteln
in elektronischer Form spätestens bis
26. November 2019
(Datum des E-Mail-Eingangs)
Die Interviews für die Position werden voraussichtlich in der Woche vom 27. Jänner 2020 stattfinden. Die Kandidaten und Kandidatinnen werden gebeten, in diesem Zeitraum verfügbar zu sein. Für weitere Fragen wenden Sie sich bitte an Roderick Bloem (roderick.bloem@iaik.tugraz.at).
Kennzahl: 7050/19/021
