APPLICATION DEADLINE: Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS)

DATE:Friday, June 12, 2020

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


Comments are closed.