Stellenmarkt Ein Angebot aus dem Karriere-Netzwerk von Jobbörse der ZEIT - Alle aktuellen Jobs im ZEIT Stellenmarkt
Professur (W1) für Software-Verifikation

Ludwig-Maximilians-Universität München (LMU). München, 12.10.2017

An der Fakultät für Mathematik, Informatik und Statistik ist zum nächstmöglichen Zeitpunkt eine

Juniorprofessur (W1) auf Zeit (3 Jahre) für Software-Verifikation

zu besetzen.
Zu den primären Aufgaben der Stelleninhaberin oder des Stelleninhabers gehören die Lehre und Forschung am Lehrstuhl "Software and Computational Systems". Für die Lehre ist vorgesehen, den bestehenden Lehrstuhl zu unterstützen und das Lehrangebot zu verbreitern. In der Forschung sind Synergien mit den bereits vertretenen Bereichen erwünscht; insbesondere sollte die Bewerberin oder der Bewerber möglichst in den folgenden Bereichen ausgewiesen sein:
  • Software-Verifikation,
  • Testen,
  • Theorembeweisen.
Die Lehr- und Forschungseinheit Software and Systems Engineering ist momentan vorwiegend im Bereich der automatischen Softwareverifikation (Datenflussanalyse und Model-Checking) vertreten. Es ist erwünscht, diesen Bereich durch Kombination mit Ansätzen aus den Bereichen Testing und Theorembeweisen zu verbreitern.

Einstellungsvoraussetzungen sind ein abgeschlossenes Hochschulstudium, pädagogische Eignung und die besondere Befähigung zur wissenschaftlichen Arbeit, die in der Regel durch die herausragende Qualität einer Promotion nachgewiesen wird. Sofern vor oder nach der Promotion eine Beschäftigung als wissenschaftlicher Mitarbeiter, wissenschaftliche Mitarbeiterin oder wissenschaftliche Hilfskraft erfolgt ist, sollen Promotions- und Beschäftigungsphase nicht mehr als sechs Jahre betragen haben.

Die Berufung erfolgt bei Vorliegen der beamtenrechtlichen Voraussetzungen in einem Beamtenverhältnis auf Zeit für die Dauer von drei Jahren. Bei positiver Evaluation der fachlichen, pädagogischen und persönlichen Eignung ist eine Verlängerung um weitere drei Jahre möglich. Eine Überführung auf eine Dauerstelle (tenure track) ist nicht möglich.

Die Ludwig-Maximilians-Universität München (LMU) strebt eine Erhöhung des Anteils der Frauen in Forschung und Lehre an und bittet deshalb Wissenschaftlerinnen nachdrücklich, sich zu bewerben.

Schwerbehinderte werden bei ansonsten im Wesentlichen gleicher Eignung bevorzugt.

Die LMU bietet Unterstützung für Doppelkarriere-Paare an.

Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugnisse, Urkunden, Schriftenverzeichnis) sind bis zum 9. November 2017 beim Dekan der Fakultät für Mathematik, Informatik und Statistik, Ludwig-Maximilians-Universität München, Theresienstr. 39, 80333 München, einzureichen.

Bewerbungsschluss: 09.11.2017