[PlanetKR] PhD Positions on Logical Methods in Computer Science LogiCS doctoral college Austria

Mihaela Rozman mihaela.rozman at tuwien.ac.at
Tue Apr 10 17:43:45 EST 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).  



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.



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


E. Bartocci                          A. Biere
R. Bloem         A. Ciabattoni                         

G. Gottlob                          T. Eiter
R. Grosu         L. Kovacs

M. Maffei                           M. Ortiz
U. Schmid      M. Seidl   

S. Szeider                           G. Weissenbacher          S. Woltran



We are looking for 16 doctoral students, where 30% of the positions are
reserved for highly qualified female candidates.  

The doctoral positions are 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. 



The applicants are expected to have completed an excellent bachelor's and
master's degree in computer science, mathematics, or a related field. 

Candidates with comparable achievements (e.g., bachelor of honors) may be
considered on a case-by-case basis. 


Applications will be screened on the following dates:

May 1, 2018 

June 1, 2018

July 1, 2018

September 1, 2018


The positions will be filled on continuous basis till October 2018. 


Applications by the candidates need to be submitted electronically. 

Detailed information: http://logic-cs.at/phd/admission/



Austria has a vibrant and highly active and successful logic in computer
science  community. Vienna, Graz, and Linz, located close to the Alps, are
surrounded by beautiful nature. Vienna is constantly ranked the city with
the highest quality of life in the world. Austria has an exciting cultural
scene, world-famous historical sites, a large international community,
varied cuisine, and famous coffee houses.


For further information please contact: info at logic-cs.at


Web: www.vcla.at/

Facebook: bit.ly/FBVCLA 

Twitter: @vclaTUwien


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20180410/dc2e50d5/attachment-0001.html 

More information about the PlanetKR mailing list