[Stellenangebote] Juniorprofessur Software-Verifikation, LMU München

[Lutz Prechelt]

From: Dirk Beyer

Liebe Kolleginnen und Kollegen,

an meinem Lehrstuhl gibt es aktuell eine W1-Stelle „Software-Verifikation“ zu besetzen.

Ludwig-Maximilians-Universität München (LMU Munich): http://www.en.uni-muenchen.de
Software and Computational Systems Lab: https://www.sosy-lab.org/

Englischer Ausschreibungstext: 
https://www.sosy-lab.org/junior-professorship.php

Deutscher Ausschreibungstext:  
https://www.uni-muenchen.de/aktuelles/stellenangebote/profs/20171011143949.html