Jointly run doctoral college LogiCS is looking for 12 doctoral students. The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund. The funding can be extended. At the moment we are particularly looking for people in the following areas:

* Automated Software Verification
* Description Logics
* Epistemic logic in distributed computing
* Game-based Semantics
* Fixed-Parameter Algorithms and Complexity
* Formal Verification of hybrid systems
* Knowledge Representation and Reasoning
* Model Checking
* Modeling and analysis of digital integrated circuits
* Normative Reasoning
* Ontology-based Data Access
* Security and Privacy
* Scheduling and logic programming
* Topology in distributed computing
* Quantified Boolean Formulas

Deadline: January 11, 2020

More information here