Open Positions

Doctoral Program Logical Methods in Computer Science – LogiCS: funded doctoral positions

NEW: The final deadline will be annouced by September 10th, 2018.

TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for our joint doctoral program on Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF).

The Program

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.

Faculty Members

Austria has a vibrant and highly active and successful logic in computer science community. Students are supervised by leading researchers in their fields:

E. Bartocci
A. Biere
R. Bloem
A. Ciabattoni
T. Eiter
G. Gottlob
R. Grosu
L. Kovacs
M. Maffei
M. Ortiz
U. Schmid
M. Seidl
S. Szeider
G. Weissenbacher
S. Woltran

Positions and Funding

  • 30% of the positions are reserved for highly qualified female candidates.
  • Fully funded for a period of 4 years according to the funding scheme of the Austrian Science Fund.
  • Additional positions will be available through other funding.

How to Apply

Applications will be screened on the following dates:

  • September 1, 2018 – NEW: The final deadline will be annouced by September 10th, 2018.

Applications by the candidates need to be submitted electronically.

Apply for LogiCS

Detailed information about the application process is available on the LogiCS web-page here.

Stefan Szeider and Georg Gottlob, the speakers.

The VCLA and its associated groups publish their open positions here. Please click on the respective links for more information on the individual positions.

Formal Methods in Systems Engineering Group: Ten funded PhD and PostDoc positions

National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions