Arbeitsgruppe Zuverlässige Systeme

Post-/Doktoranden_innen gesucht

03.02.2016

Wir bieten Promotions-/PostDoc-Stellen für talentierte Nachwuchswissenschaftler_innen im Bereich der Softwareverifikation an. Wir suchen engagierte Personen mit einem universitären Abschluss im Fach Informatik, die Spass daran haben, grundlegende Konzepte aus der Informatik und Logik in praxiswirksame Anwendungen zur Analyse von Code umzusetzen. Ausschreibungstext [eng].