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

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 verification.

LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification.

Next application Deadline: 15 June 2015. For more information, see http://logic-cs.at/phd/ or contact: info at logic-cs.at.