Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria

utworzone przez | maj 12, 2020 | Aktualności, Bieżące

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/

Skip to content