PhD student positions in Logical Methods in Computer Science, Vienna/Graz/Linz (Austria)

TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering computational logic, and applications of logic to databases and artificial intelligence, computer-aided verification, security and privacy, cyber-physical systems, as well as to distributed systems.

Our PhD program LogiCS is focusing on logic and its applications in computer science. We are looking for 8 very strong doctoral students. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems.