W 3-Professur f眉r Softwaretechnik

Albert-Ludwigs-Universit盲t Freiburg - Technische Fakult盲t

Freiburg

Permanent

Full Time

Start date: 2026-10-01

Apply by: 2025-04-13

Published: 2025-03-01

Permanent workplace

I am interested

Die Universit盲t Freiburg ist einen Wechsel wert:聽

Mit ihrer 眉ber 500-j盲hrigen Geschichte ist sie eine der renommiertesten und forschungsst盲rksten Universit盲ten Deutschlands. Hier arbeiten Sie in einer einzigartigen Vielfalt von F盲chern, Perspektiven und Menschen f眉r Forschung und Lehre auf h枚chstem Niveau 鈥� mitten in einer der beliebtesten St盲dte Deutschlands.

Die Personalpolitik der Albert-Ludwigs-Universit盲t Freiburg orientiert sich an den Prinzipien der Gleichstellung und Vielfalt. Die Universit盲t bekennt sich nachdr眉cklich zu dem Ziel einer familiengerechten Hochschule.

An der Technischen Fakult盲t im Institut f眉r Informatik ist eine

W 3-Professur f眉r Softwaretechnik

(Nachfolge Prof. Podelski)

ab 01.10.2026 zu besetzen.

Die Professur soll den Schwerpunkt Softwaretechnik in Forschung und Lehre vertreten. Geeignete Kandidat*innen sind in mindestens einem und idealerweise in einer Kombination der folgenden Gebiete wissenschaftlich hervorragend ausgewiesen:

Programmanalyse und -verifikation
Software Testing und Debugging
Laufzeitverifikation und Programmsynthese
Machine Learning in der Softwaretechnik

Gesucht wird eine Person, die sich durch fundierte, grundlagenorientierte Forschung auszeichnet, im besten Fall in Kombination mit 眉berzeugenden Anwendungsbeispielen und Bez眉gen zur praktischen Umsetzung. Es wird ein Interesse an der Zusammenarbeit mit anderen Professuren an der Fakult盲t erwartet. Ferner wird die angemessene Beteiligung an den Lehraufgaben der Lehreinheit Informatik sowie an der akademischen Selbstverwaltung erwartet.

Einstellungsvoraussetzungen f眉r Professor*innen sind neben den allgemeinen dienstrechtlichen Voraussetzungen ein abgeschlossenes Hochschulstudium, p盲dagogische Eignung und eine herausragende Promotion. 脺ber die Promotion hinausgehende wissenschaftliche Leistungen, die in der Regel durch eine Habilitation nachgewiesen werden, werden erwartet (搂 47 Landeshochschulgesetz (LHG)). Diese Professur eignet sich auch f眉r Wissenschaftler*innen in einer fr眉hen Karrierephase.

F眉r die hier ausgeschriebene Position freuen wir uns besonders 眉ber Bewerbungen von Frauen.聽

Die Universit盲t unterst眉tzt Berufene 眉ber einen Dual Career Service und einen Familienservice.

Folgende Bewerbungsunterlagen werden erbeten:

Lebenslauf, Zeugnisse und Urkunden
Vollst盲ndiges Schriften- und Vortragsverzeichnis, sowie Nennung der 5 wichtigsten Publikationen; ein existierendes Google Scholar Profil sollte von Fehlern bereinigt sein
Darstellung bisheriger Forschungst盲tigkeit und ein Expos茅 f眉r die zuk眉nftige Arbeit
Darstellung bisheriger Lehrt盲tigkeit
Darstellung bisheriger Projektt盲tigkeit; der Anteil der F枚rdersumme f眉r die eigene Person/Gruppe sollte jeweils klar ersichtlich sein

Zu einem Vorstellungsvortrag eingeladene Bewerberinnen und Bewerber m眉ssen ein Lehrkompetenzportfolio vorlegen (https://intranet.uni-freiburg.de/public/downloads/saz/lehrkompetenzportfolio-formblatt.docx).

Bitte bewerben Sie sich (ggf. in englischer Sprache) mit Ihrem Bewerbungsformular ( /听
聽https://intranet.uni-freiburg.de/public/downloads/saz/bewerbungsbogen-professoren-en.pdf) und den o.g. Unterlagen und Belegen unter Angabe der Kennziffer bis sp盲testens 13.04.2025.