Assistant Professor für Logik, Automaten und Spieltheorie in der Informatik

Tenure Track Assistant Professor (w/m/d) für Logik, Automaten und Spieltheorie in der Informatik

05.04.2024, Professuren

Wissenschaftliches Umfeld

Die Professur wird der TUM School of Computation, Information and Technology (CIT) 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 Forschungsgebiet Logik, Automaten und Spieltheorie mit dem Schwerpunkt in den Bereichen Formale Verifikation, Automatische Synthese, Automated Reasoning oder Learning.

Zu den Aufgaben in der Lehre gehört die Mitwirkung in den grundständigen Lehrveranstaltungen im Professional Profile „Informatics“, insbesondere der Theoretischen Informatik, auf Bachelor- und Masterlevel.

Anforderungen

Wir suchen eine Persönlichkeit, die erste wissenschaftliche Leistungen vorweisen kann und über das Potential verfügt, ein eigenständiges Forschungsprogramm auf international höchstem Niveau zu entwickeln. 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 wird erwartet (weitere Informationen unter www.tum.de/faq-berufungen/).

Unser Angebot

Die TUM ermöglicht einen leistungsorientierten Karriereaufstieg vom Assistant Professor über eine 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/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 schwerbehinderte Bewerberinnen und Bewerber geeignet. Schwerbehinderte Bewerberinnen und Bewerber werden bei ansonsten im Wesentlichen gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt.

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 04.06.2024an den Dekan der TUM School of CIT, Herrn Prof. Dr. Hans-Joachim Bungartz, über unseren Berufungsportal: www.recruit.tum.de

Kontakt: www.recruit.tum.de

Bitte beziehen Sie sich in Ihrer Bewerbung auf AkademischeStellen.com