Aufgabenbeschreibung
Die Fakultät der Friedrich-Alexander-Universität besetzt eine Professur im Bereich Programmiersysteme. Die Professur ist angesiedelt und umfasst folgende Gebiete: Design, Implementierung und Performance-Optimierung von Programmier-Systemen; Software Engineering und Programmiermodelle für neuartige Systemumgebungen; Sprach-, Entwicklungs- und Systemunterstützung für sichere und effiziente Systeme; Programmanalyse und -verifikation; Verifizierte Kompilierung, Programmtransformation und Programmsynthese; Künstliche Intelligenz in Software Engineering und Programmiersystemen.
Funktionsprofile
* Das Fachgebiet in Forschung und Lehre angemessen zu vertreten
* Herausragende Forschung auf den genannten Gebieten durchzuführen
* Erweiterung des bestehenden Angebots auf dem Gebiet der Programmiersysteme in der Informatik und angrenzenden Studiengängen
Voraussetzungen
* Abgeschlossenes Hochschulstudium
* Pädagogische Eignung
* Besondere Befähigung zur wissenschaftlichen Arbeit, nachgewiesen durch Qualität einer Promotion
* Zusätzliche wissenschaftliche Leistungen, nachgewiesen durch Habilitation oder gleichwertige wissenschaftliche Leistungen
Stellenprofil
* Sicherstellung der Nachhaltigkeit von Software-Systemen
* Verantwortung für die Weiterentwicklung des Fachgebiets
* Zusammenarbeit mit anderen Fachgebieten innerhalb der Fakultät