16 Positions in Doctoral College on Logical Methods in Computer Science — LogiCS
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated 16 doctoral students on Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF). The doctoral program LogiCS has been successfully established in 2014, and now it looks for the second generation of the PHD students.
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 fields:
E. Bartocci A. Biere R. Bloem A. Ciabattoni
G. Gottlob T. Eiter R. Grosu M. Kovacs
M. Maffei M. Ortiz U. Schmid M. Seidl
S. Szeider G. Weissenbacher S. Woltran
as well by our ASSOCIATED FACULTY MEMBERS.Details are provided on http://logic-cs.at/faculty/
POSITIONS AND FUNDING
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.
HOW TO APPLY
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:
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 about the application process is available on the LogiCS web-page
Detailed information: http://logic-cs.at/phd/admission/
LOGIC IN AUSTRIA
Austria has a highly active and successful logic in computer science community.
Recent activities include:
Vienna Summer of Logic, the Largest Conference in the History of Logic
Austrian Research Network in Rigorous Systems Engineering
Vienna Center for Logic and Algorithms
International Kurt Goedel Society
HIGHEST QUALITY OF LIFE