TU Wien (Vienna University of Technology), TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University) are recruiting up to 15 doctoral candidates with a negotiable starting date for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF).
The Ph.D. program 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.
Further details:
15 Doctoral Candidates for the joint doctoral program on Logical Methods in Computer Science