Professor in \"Logic and Verification in Computer Science\" - [\'Vollzeit\']

W3 Associate oder Full Professor; Beginn so bald wie möglich.

Wissenschaftliches Umfeld: Die Professur wird der TUM Fakultät für Informatik an der TUM School of Computation, Information and Technology zugewiesen.

Verantwortlichkeiten: Die Aufgaben umfassen Forschung und Lehre sowie die Förderung von Nachwuchswissenschaftlern. Wir suchen einen Experten auf dem Gebiet der Logik und Verifikation in der Informatik mit bedeutenden Beiträgen in einem oder mehreren der folgenden Bereiche:

• Automatisches und/oder interaktives Theorembeweisen
• Innovative Anwendungen des Theorembeweisens in der Informatik und Mathematik
• Logikbasierte Ansätze zur Analyse, Verifikation, Diagnose, Reparatur oder Synthese von Programmen
• Semantik von Programmiersprachen

Die Lehrverantwortung umfasst die Teilnahme an der theoretischen Ausbildung in den Studiengängen Informatik, insbesondere in den Vorlesungen "Funktionale Programmierung und Verifikation" und "Theoretische Informatik" im Bachelorstudium Informatik sowie Beiträge zum Schwerpunktbereich "Formale Methoden" im Masterstudium Informatik.

Qualifikationen: Wir suchen Kandidaten, die hervorragende Leistungen in Forschung und Lehre in einem international anerkannten wissenschaftlichen Umfeld nachgewiesen haben, relativ zur relevanten Karriereebene. Ein Hochschulabschluss und ein herausragender Doktortitel oder gleichwertige wissenschaftliche Qualifikation sowie pädagogische Eignung sind Voraussetzungen. Substantielle Forschungserfahrung im Ausland sowie die nachgewiesene Fähigkeit und Erfahrung in der Forschungs-/Wissenschaftsleitung und die nachgewiesene Fähigkeit, kooperative Forschungsprojekte zu gewinnen und zu leiten sowie Drittmittel einzuwerben, werden erwartet.

Unser Angebot: Basierend auf den besten internationalen Standards und transparenten Leistungskennzahlen bietet die TUM einen leistungsbasierten akademischen Karriereweg für Tenure-Track-Professoren vom unbefristeten Stellenangebot als Associate Professor bis hin zum Full Professor. Die Regelungen des TUM Fakultätsrekrutierungs- und Karrieresystems finden Anwendung. Die TUM bietet hervorragende Arbeitsbedingungen in einer lebendigen wissenschaftlichen Gemeinschaft, eingebettet in das dynamische Forschungsumfeld der Metropolregion München. Das TUM-Umfeld ist multikulturell, wobei Englisch als gemeinsame Schnittstelle für wissenschaftliche Interaktion dient. Die TUM bietet attraktive und leistungsorientierte Gehaltsbedingungen sowie soziale Leistungen.

Das TUM Munich Dual Career Office (MDCO) bietet maßgeschneiderte Karriereberatung für die Partner neu ernannter Professoren. Das MDCO unterstützt die Umsiedlung und Integration neuer Professoren, ihrer Partner und begleitenden Familienmitglieder.

Ihre Bewerbung: Die TUM ist ein Arbeitgeber, der Chancengleichheit fördert, und ermutigt ausdrücklich Bewerbungen von Frauen. Die Position ist für Menschen mit Behinderungen geeignet. Bewerber mit Behinderungen, die im Wesentlichen die gleichen Qualifikationen und wissenschaftlichen Leistungen wie andere Bewerber aufweisen, werden bevorzugt behandelt. Bewerbungsunterlagen sollten gemäß den Bewerbungsrichtlinien der TUM für Professoren eingereicht werden. Diese Richtlinien und detaillierte Informationen über das TUM Fakultätsrekrutierungs- und Karrieresystem sind verfügbar. Hier finden Sie auch Informationen der TUM zur Erhebung und Verarbeitung personenbezogener Daten im Rahmen des Bewerbungsprozesses. Bitte senden Sie Ihre Bewerbung bis spätestens 31. Mai 2025 über unser Rekrutierungsportal.