Juniorprofessur (W1 mit Tenure Track auf W2) für „Softwareentwicklung und Verifikation“ (vorgezogene NF Müller-Olm)
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 … Weiterlesen …