Logic in Austria

Funded Doctoral Positions

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 computational logic, and applications of logic to databases and artificial intelligence as well as to computer-aided veriﬁcation.
For further details, consider the Call for Students on the LogiCS website.