PhD Positions in the Doctoral Program Logical Methods In Computer Science (Logics)

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

-Fixed-Parameter Algorithms and Complexity

-Formal Verification of hybrid systems

-Knowledge Representation and Reasoning

-Model Checking

-Modeling and analysis of digital integrated circuits -Networking and Communication Technology -Normative Reasoning

-Ontology-based Data Access

-Security and Privacy

-Scheduling and logic programming

-Study of the Interaction between rules from a knowledge base and rules arising from machine learning

-Topology in distributed computing

-Quantified Boolean Formulas

Further details:
PhD Positions in the Doctoral Program Logical Methods In Computer Science (Logics)