TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering
(i) computational logic, and applications of logic to (ii) databases and artificial intelligence as well as to (iii) computer-aided verification.