Finde einen Job 
Finde eine Ausbildung 
Top Arbeitgeber 
Top Universitäten 
Für Unternehmen Auf einen Blick
- Aufgaben: Lehre und Forschung im Bereich Logik und Verifikation in der Informatik.
- Arbeitgeber: Die TUM ist eine führende Universität in München mit einem dynamischen wissenschaftlichen Umfeld.
- Mitarbeitervorteile: Attraktive Gehälter, soziale Leistungen und Unterstützung für Umzüge.
- Warum dieser Job: Gestalte die Zukunft der Informatik und fördere junge Talente in einer multikulturellen Umgebung.
- Gewünschte Qualifikationen: Hervorragende Forschungs- und Lehrerfahrung sowie ein Doktortitel sind erforderlich.
- Andere Informationen: Bewerbungen von Frauen und Menschen mit Behinderungen sind ausdrücklich erwünscht.
Das voraussichtliche Gehalt liegt zwischen 72000 - 100000 € pro Jahr.
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 Verantwortlichkeiten 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:
- Automatische und/oder interaktive Theorembeweise
- Innovative Anwendungen von Theorembeweisen 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, entsprechend dem relevanten Karrierestandard (weitere Informationen finden Sie unter www.tum.de/en/faculty-recruiting-faq/). 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 Leistungskriterien bietet die TUM einen leistungsbasierten akademischen Karriereweg für Tenure-Track-Professoren vom unbefristeten Status als Associate Professor bis hin zu 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 Vorteile.
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 im Wesentlichen denselben Qualifikationen und wissenschaftlichen Leistungen wie andere Bewerber werden bevorzugt. Die 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 unter www.tum.de/faculty-recruiting 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: www.recruit.tum.de
Professor in \"Logic and Verification in Computer Science\" Arbeitgeber: Technische Universität München (TUM)
Kontaktperson:
Technische Universität München (TUM) HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: Professor in \"Logic and Verification in Computer Science\"
✨Tip Nummer 1
Netzwerke sind entscheidend! Nutze Plattformen wie LinkedIn, um dich mit anderen Fachleuten im Bereich Logik und Verifikation zu vernetzen. Nimm an Konferenzen und Workshops teil, um deine Sichtbarkeit zu erhöhen und potenzielle Kontakte zu knüpfen.
✨Tip Nummer 2
Engagiere dich in der wissenschaftlichen Gemeinschaft. Publiziere regelmäßig in relevanten Fachzeitschriften und präsentiere deine Forschungsergebnisse auf Konferenzen. Dies zeigt dein Engagement und deine Expertise in deinem Fachgebiet.
✨Tip Nummer 3
Zeige deine Führungsqualitäten! Suche nach Möglichkeiten, Forschungsprojekte zu leiten oder Mentoren für Nachwuchswissenschaftler zu sein. Dies wird deine Fähigkeit unterstreichen, Teams zu führen und Projekte erfolgreich zu managen.
✨Tip Nummer 4
Bereite dich auf das Vorstellungsgespräch vor, indem du dich intensiv mit den aktuellen Trends und Herausforderungen im Bereich der Logik und Verifikation auseinandersetzt. Sei bereit, deine Ideen zur Weiterentwicklung des Fachbereichs zu präsentieren und zu diskutieren.
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: Professor in \"Logic and Verification in Computer Science\"
Tipps für deine Bewerbung 🫡
Forschung betreiben: Informiere dich über die Technische Universität München (TUM) und ihre Abteilung für Informatik. Verstehe die spezifischen Anforderungen der Professur in "Logik und Verifikation in der Informatik" und welche Qualifikationen erwartet werden.
Dokumente vorbereiten: Stelle sicher, dass du alle erforderlichen Dokumente hast, einschließlich deines Lebenslaufs, deiner Publikationsliste, Nachweisen über deine Lehrtätigkeit und deinem Doktortitel. Achte darauf, dass deine Unterlagen klar strukturiert und professionell gestaltet sind.
Motivationsschreiben verfassen: Schreibe ein überzeugendes Motivationsschreiben, das deine Forschungserfahrungen, Lehrphilosophie und deine Vision für die Rolle an der TUM darstellt. Betone deine Beiträge zur Logik und Verifikation sowie deine Erfahrungen in der Betreuung von Nachwuchswissenschaftlern.
Bewerbung einreichen: Reiche deine Bewerbung über das angegebene Rekrutierungsportal der TUM ein. Überprüfe vor dem Absenden, ob alle Informationen vollständig und korrekt sind, und achte darauf, die Frist bis zum 31. Mai 2025 einzuhalten.
Wie du dich auf ein Vorstellungsgespräch bei Technische Universität München (TUM) vorbereitest
✨Bereite dich auf Fachfragen vor
Da die Position einen starken Fokus auf Logik und Verifikation in der Informatik hat, solltest du dich intensiv mit den neuesten Entwicklungen in diesen Bereichen auseinandersetzen. Sei bereit, spezifische Fragen zu automatischen und interaktiven Theorembeweisen sowie zu logikbasierten Ansätzen zu beantworten.
✨Präsentiere deine Forschungserfahrung
Hebe deine bisherigen Forschungsprojekte hervor, insbesondere solche, die internationale Anerkennung gefunden haben. Zeige, wie deine Erfahrungen zur Förderung von Nachwuchswissenschaftlern beigetragen haben und welche Erfolge du in der Einwerbung von Drittmitteln erzielt hast.
✨Demonstriere deine Lehrfähigkeiten
Bereite Beispiele für deine Lehrmethoden und -erfolge vor. Da die Stelle auch Lehrverantwortung umfasst, ist es wichtig, dass du deine pädagogische Eignung und deine Fähigkeit, komplexe Themen verständlich zu vermitteln, unter Beweis stellst.
✨Informiere dich über TUM und ihre Werte
Zeige während des Interviews, dass du dich mit der Technischen Universität München und ihrer Kultur vertraut gemacht hast. Betone, wie deine Werte und Ziele mit denen der TUM übereinstimmen, insbesondere in Bezug auf Vielfalt und Chancengleichheit.
