TU Wien, TU Graz, and JKU Linz are inviting applications for its new 16 new PhD positions for talented and motivated students for their joint doctoral program Logics to work in the following fundamental fields of computer science. This program is aimed at highly motivated students who want to work in the field of Logical Methods in Computer …
