TU Wien, TU Graz, and JKU Linz are seeking several highly qualified candidates for our joint doctoral program on Logical Methods in Computer Science (LogiCS). The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF). 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
• 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

Deadline: June 12, 2020 The details are available here

Graduation of Marija Lazic