[DL] 16 PhD Positions on Logical Methods in Computer Science

Magdalena Ortiz ortiz at kr.tuwien.ac.at
Fri Feb 2 09:34:53 CET 2018

[Apologies if you receive multiple copies of this email. Thank you for helping us reach interested parties.]

*** 16 PhD Positions on Logical Methods in Computer Science*****

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and 
motivated students for their joint doctoral program on Logical Methods 
in Computer Science (LogiCS).  LogiCS has been established in 2014 and 
currently includes 44 students.



LogiCS focuses on logic and its applications in computer science. 
Successful applicants will work on interdisciplinary research topics 

(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 fields:

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

Details are provided on http://logic-cs.at/faculty/


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 (details: 
Additional positions will be available through other funding.


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


The applicants are expected to have completed an excellent 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 by the candidates need 
to be submitted electronically.

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

The evaluation of applications will start on 1st of March, 2018.


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 
<mailto:info at logic-cs.at>

Magdalena Ortiz
Asst. Prof. Knowledge Representation and Reasoning
Institute of Information Systems (E184/3)
TU Wien

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20180202/325f987a/attachment.html>

More information about the dl mailing list