Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Twelve PhD student positions in Logical Methods in CS, Vienna/Graz/Linz (Austria)

Deadline: Friday 12 June 2020

TU Wien (Vienna University of Technology), TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University) are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF).

We are recruiting up to 12 doctoral candidates for a starting period of 3 years, with a negotiable starting date. Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems.

For more information, see https://logic-cs.at/phd/admission/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.