Finde einen Job 
Finde eine Ausbildung 
Top Arbeitgeber 
Top Universitäten 
Für Unternehmen Auf einen Blick
- Aufgaben: Lehre und Forschung im Bereich Softwareentwicklung und Verifikation, inklusive Prüfungen und Abschlussarbeiten.
- Arbeitgeber: Die Universität Münster fördert Chancengerechtigkeit und Vielfalt in der akademischen Gemeinschaft.
- Mitarbeitervorteile: Familienfreundliche Arbeitsbedingungen und Unterstützung für internationale Forschungserfahrungen.
- Warum dieser Job: Werde Teil eines dynamischen Teams und trage zur Weiterentwicklung der Informatik bei.
- Gewünschte Qualifikationen: Erforderlich sind ein abgeschlossenes Hochschulstudium, hervorragende Promotion und pädagogische Eignung.
- Andere Informationen: Bewerbungen von Frauen sind ausdrücklich erwünscht; bevorzugte Berücksichtigung bei gleicher Eignung.
Das voraussichtliche Gehalt liegt zwischen 45000 - 63000 € pro Jahr.
Die Stelle ist zunächst auf drei Jahre befristet. Nach einer positiven Zwischenevaluierung wird die Stelle um drei Jahre verlängert. Nach einer positiven Abschlussevaluation wird die Stelle in eine unbefristete W2-Professur überführt.
Gesucht wird ein*e international hervorragend ausgewiesene*r Nachwuchswissenschaftler*in, der/die das Gebiet Softwareentwicklung und Verifikation grundlagenorientiert, formal fundiert und engagiert in Forschung und Lehre vertritt und die bereits vorhandenen Forschungsgebiete in sinnvoller Weise ergänzt. Die Arbeitsschwerpunkte liegen idealerweise in einem oder mehreren der folgenden Gebiete:
Formale Methoden der Softwareentwicklung
Fundamentale Aspekte von Programmiersprachen und ihrer Implementierung
Formale Analyse und Verifikation (z. B. Programmanalysen, Beweiswerkzeuge)
Der/Die zu Berufene sollte wissenschaftlich hervorragend ausgewiesen und national sowie international sichtbar sein. Erwartet werden Veröffentlichungen in hochrangigen, referierten Konferenzen und/oder Zeitschriften. Erfahrungen in der Einwerbung und Durchführung kompetitiver Drittmittel, die Einbindung in internationale Forschung sowie Auslandserfahrung sind von Vorteil. Die Bereitschaft zur Zusammenarbeit innerhalb der Fakultät für Mathematik und Informatik und zur Mitwirkung in aktuellen und geplanten Forschungsverbünden wird vorausgesetzt.
Es wird eine angemessene Beteiligung an der Lehre, an Prüfungen und Abschlussarbeiten sowie an der akademischen Selbstverwaltung vorausgesetzt. Wünschenswert ist aus diesem Grund einschlägige Erfahrung mit eigenständiger Lehre. Die/Der zu Berufene soll zur breiten Abdeckung der informatikbezogenen Lehrveranstaltungen in den Bachelor-/Masterstudiengängen des Fachbereichs, insbesondere im Bereich des Software Engineering, beitragen. Voraussetzung für die Einstellung sind ein abgeschlossenes Hochschulstudium, die besondere pädagogische Eignung zur Hochschullehre und eine hervorragende Promotion in einem Gebiet der Informatik. Weitere Forschungserfahrungen an einer Hochschule oder außeruniversitären Einrichtung im In- oder Ausland sind von Vorteil.
Die Universität Münster setzt sich für Chancengerechtigkeit und Vielfalt ein. Wir begrüßen alle Bewerbungen unabhängig von Geschlecht, Nationalität, ethnischer oder sozialer Herkunft, der Religion oder Weltanschauung, Beeinträchtigung, Alter sowie sexueller Orientierung oder Identität. Eine familiengerechte Gestaltung der Arbeitsbedingungen ist uns ein selbst verständliches Anliegen. Bewerbungen von Frauen sind ausdrücklich erwünscht; Frauen werden bei gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt berücksichtigt, sofern nicht in der Person eines Mitbewerbers liegende Gründe überwiegen.
Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugnisse, Schriftenverzeichnis, Verzeichnis der Lehrveranstaltungen, Darstellung des wissenschaftlichen Werdegangs, Forschungsplan, Lehrkonzept und, soweit vorhanden, Lehrevaluationen) werden in Form einer PDF-Datei bis zum 31.03.2025 erbeten an den Dekan des Fachbereichs Mathematik und Informatik Einsteinstraße 62 48149 Münster www.uni-münster.de
Juniorprofessur (W1 mit Tenure Track auf W2) für \"Softwareentwicklung und Verifikation\" (vorgezogene Arbeitgeber: Westfälische Wilhelms-Universität Münster (WWU)
Kontaktperson:
Westfälische Wilhelms-Universität Münster (WWU) HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: Juniorprofessur (W1 mit Tenure Track auf W2) für \"Softwareentwicklung und Verifikation\" (vorgezogene
✨Tip Nummer 1
Nutze dein Netzwerk! Kontaktiere ehemalige Kollegen oder Professoren, die in der Softwareentwicklung und Verifikation tätig sind. Sie können dir wertvolle Einblicke geben und möglicherweise sogar Empfehlungen aussprechen.
✨Tip Nummer 2
Engagiere dich in relevanten Konferenzen und Workshops. Präsentiere deine Forschungsergebnisse und knüpfe Kontakte zu anderen Wissenschaftlern in deinem Fachgebiet. Dies kann dir helfen, deine Sichtbarkeit zu erhöhen und potenzielle Kooperationspartner zu finden.
✨Tip Nummer 3
Veröffentliche regelmäßig in hochrangigen, referierten Zeitschriften. Achte darauf, dass deine Arbeiten in den Bereichen formale Methoden und Programmiersprachen angesiedelt sind, um die Anforderungen der Stelle zu erfüllen.
✨Tip Nummer 4
Bereite dich auf mögliche Fragen zur Lehre vor. Überlege dir, wie du deine Erfahrungen in der Hochschullehre präsentieren kannst und welche Lehrkonzepte du einbringen würdest, um die informatikbezogenen Lehrveranstaltungen zu bereichern.
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: Juniorprofessur (W1 mit Tenure Track auf W2) für \"Softwareentwicklung und Verifikation\" (vorgezogene
Tipps für deine Bewerbung 🫡
Dokumente vorbereiten: Stelle sicher, dass du alle erforderlichen Unterlagen bereit hast, einschließlich Lebenslauf, Zeugnisse, Schriftenverzeichnis, Verzeichnis der Lehrveranstaltungen, Darstellung deines wissenschaftlichen Werdegangs, Forschungsplan und Lehrkonzept. Wenn vorhanden, füge auch Lehrevaluationen hinzu.
Forschungsschwerpunkte betonen: Hebe in deinem Bewerbungsschreiben deine Forschungsschwerpunkte hervor, insbesondere in den Bereichen formale Methoden der Softwareentwicklung und formale Analyse. Zeige auf, wie deine Erfahrungen und Publikationen zu den Anforderungen der Stelle passen.
Lehrerfahrung darlegen: Betone deine einschlägige Erfahrung in der Lehre. Beschreibe, welche Lehrveranstaltungen du bereits durchgeführt hast und wie du zur breiten Abdeckung der informatikbezogenen Lehrveranstaltungen beitragen kannst.
Anpassung an die Universität Münster: Zeige in deiner Bewerbung, dass du die Werte der Universität Münster, insbesondere Chancengerechtigkeit und Vielfalt, teilst. Erwähne, wie du zur Zusammenarbeit innerhalb der Fakultät für Mathematik und Informatik beitragen möchtest.
Wie du dich auf ein Vorstellungsgespräch bei Westfälische Wilhelms-Universität Münster (WWU) vorbereitest
✨Sei bereit, deine Forschung zu präsentieren
Bereite eine klare und prägnante Präsentation deiner bisherigen Forschungsarbeiten vor. Betone dabei die Relevanz deiner Arbeiten im Bereich Softwareentwicklung und Verifikation sowie deren Beitrag zur wissenschaftlichen Gemeinschaft.
✨Zeige deine Lehrfähigkeiten
Bereite Beispiele für deine Lehrmethoden und -erfahrungen vor. Diskutiere, wie du Studierende motivierst und welche innovativen Ansätze du in der Lehre verfolgst, insbesondere im Bereich Software Engineering.
✨Netzwerke und internationale Erfahrungen
Hebe deine internationalen Erfahrungen und Netzwerke hervor. Zeige auf, wie diese deine Forschung bereichert haben und wie du planst, diese Verbindungen in die Fakultät einzubringen.
✨Engagement für Chancengleichheit und Vielfalt
Sprich über dein Engagement für Chancengleichheit und Vielfalt in der Wissenschaft. Teile konkrete Beispiele, wie du in der Vergangenheit dazu beigetragen hast, ein inklusives Umfeld zu schaffen.
