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.
Deadline: June 12, 2020
____________________________________________________________________________________________________________
The PhD program focuses on interdisciplinary research topics covering
– computational logic, and applications of logic to
– databases and artificial intelligence,
– computer-aided verification,
– security and privacy,
– cyber-physical systems, as well as to
– distributed systems.
______________________________________________________
Pełna treść ogłoszenia: https://logic-cs.at/phd/admission/
Polish
English
Ukrainian
German
Turkish
Russian