Doctoral program Logical Methods in Computer Science is recruiting several PhD students (Employment contract. Apply by June 12, 2020, and join the community in Vienna, or/and Graz, Austria. Starting date is negotiable.
The LogiCS is run by the Vienna University of Technology (TU Wien), Technische Universität Graz, JKU - Johannes Kepler Universität Linz, and funded by the Austrian Science Fund (FWF).
AREAS OF RESEARCH
-Automated Software Verification
-Description Logics
-Epistemic logic in distributed computing
-Explainable AI