Professor in Logic and Verification in Computer Science

TUM School of Computation, Information and Technology

Deutschland

ABGELAUFEN

Alle Stellen

Ludwig Maximilians Universität München

Pädagogische Hochschule Bern

Rheinisch Westfalische Technische Hochschule Aachen

Ruprecht Karls Universität Heidelberg

Universität Innsbruck

Universität Luzern

Universität Passau

Universität Potsdam

Universität Rostock

Universität Wien

Universität Zürich

Universität zu Köln