Professorin oder Professor (w/m/d) für » Logik und Verifikation in der Informatik «
26.03.2025, Professuren
Wissenschaftliches Umfeld
Die Professur wird dem Department of Computer Science in der TUM School of Computation, Information and Technology zugeordnet.
Aufgaben
Zu den Aufgaben gehören Forschung und Lehre sowie Betreuung und Förderung des wissenschaftlichen Nachwuchses. Wir suchen eine Expertin oder einen Experten im Bereich Logik und Verifikation in der Informatik, der in einem oder mehreren der folgenden Forschungsgebiete ausgewiesen ist:
· Automatisches und/oder interaktives Theorembeweisen
· Innovative Ansätze des Theorembeweisens in der Informatik und der Mathematik
· Logische Ansätze zu Analyse, Verifikation, Diagnose, Repair oder Synthese von Programmen
· Semantik von Programmiersprachen
Zu den Aufgaben in der Lehre gehört die Mitwirkung in der Theorieausbildung in den Studiengängen Informatik. Insbesondere bei den Vorlesungen "Functional Programming and Verification" und "Theoretische Informatik" im Bachelor Informatik ebenso wie Beiträge zum Vertiefungsgebiet "Formale Methoden" im Master Informatik.
Qualifikationen
Wir suchen eine Persönlichkeit, die herausragende Leistungen, entsprechend des zutreffenden Karrierelevels, in Forschung und Lehre in einem international anerkannten wissenschaftlichen Umfeld vorweisen kann (weitere Informationen unter www.tum.de/faq-berufungen/). Ein abgeschlossenes Hochschulstudium, eine überdurchschnittliche Promotion oder eine vergleichbare besondere Befähigung zu wissenschaftlicher Arbeit und besondere pädagogische Eignung sind ebenso Voraussetzung. Internationale Forschungserfahrung sowie nachgewiesene Befähigung und Erfahrung im Forschungs- und Wissenschaftsmanagement und die Bereitschaft kooperative Forschungsprojekte zu akquirieren und zu führen wird erwartet.
Unser Angebot
Die TUM ermöglicht einen leistungsorientierten Karriereaufstieg von der unbefristeten Position als Associate Professor hin zum Full Professor entsprechend besten internationalen Standards und transparenten Leistungskriterien. Die Regularien des TUM Berufungs- und Karrieresystem finden Anwendung. Die TUM eröffnet exzellente Arbeitsbedingungen in einer lebendigen wissenschaftlichen Community, eingebettet in das hervorragende Lebens- und Forschungsumfeld der Metropolregion München und gekennzeichnet durch ein weltoffenes Klima mit Englisch als anerkannter Arbeitssprache. Daneben bietet die TUM eine attraktive und leistungsorientierte Vergütung sowie die Vorzüge des Beamtenstatus. Das TUM Munich Dual Career Office bietet individuelle Karriereberatung für die Partner neuberufener Professorinnen und Professoren und unterstützt diese und ihre Partner bei der Integration in München.
Ihre Bewerbung
Gleichstellung ist der TUM ein wichtiges Anliegen. Deswegen begrüßen wir ausdrücklich Bewerbungen qualifizierter Frauen. Die Stelle ist für die Besetzung mit schwerbehinderten Menschen geeignet. Schwerbehinderte Bewerberinnen und Bewerber werden bei ansonsten im Wesentlichen gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt eingestellt. Die Bewerbungsunterlagen sollen den TUM-Richtlinien zur Bewerbung auf Professuren entsprechen. Diese Richtlinien, Einstellungsvoraussetzungen sowie detaillierte Information zum TUM Berufungs- und Karrieresystem sind abrufbar unter: http://www.tum.de/faculty-recruiting. Dort finden Sie auch die Datenschutzhinweise der TUM zur Erhebung und Verarbeitung personenbezogener Daten im Rahmen Ihrer Bewerbung.
Bitte senden Sie Ihre Bewerbungsunterlagen in englischer Sprache bis zum 31.05.2025 über unseren Berufungsportal: www.recruit.tum.de
Kontakt: recruitment@xcit.tum.de