Open Positions

Please click on the respective links for more information on the individual positions.


(NEW!) Call for the new MSCA Cofund LogiCS@TUWien PHD School

We are searching for 20 PhD students that will work on interdisciplinary topics across Logic, AI, Verification, Algorithms, Security and CPS. The First Call is already open with a Deadline for Applications on December 30, 2021. Find more details here.


(ONGOING) FWF funded Doctoral Program Logical Methods in Computer Science (LogiCS)

TU Wien, TU Graz, and JKU Linz are seeking doctoral students for the joint Doctoral College Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF). LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering

(i) computational logic,

(ii) databases and artificial intelligence,

(iii) computer-aided verification, and

(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

More information here



Helmut Veith, Anna Prianichnikova and the LogiCS students