Email Gateway (Aug 22 2022 at 16:54): Email Gateway (Aug 22 2022 at 16:54):From: Mihaela Rozman <mihaela.rozman@tuwien.ac.at>
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). The doctoral positions are funded for a period
of 4 years according to the funding scheme of the Austrian Science Fund.
<http://logic-cs.at/phd/> http://logic-cs.at/phd/
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
G. Gottlob T. Eiter R. Grosu
L. Kovacs
M. Maffei M. Ortiz U. Schmid M.
Seidl
S. Szeider G. Weissenbacher S. Woltran
Details are provided on <http://logic-cs.at/faculty/>
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 (details:
<http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/>
http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/).
Additional positions will be available through other funding.
HOW TO APPLY
Detailed information about the application process is available on the
LogiCS web-page
<http://logic-cs.at/phd/admission/> http://logic-cs.at/phd/admission/
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.
STUDYING AND LIVING IN AUSTRIA
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@logic-cs.at
Last updated: Nov 21 2024 at 12:39 UTC