[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]

Applications are invited for a 4-year fully funded PhD studentship in LogiCS Doctoral College - Logical Methods in Computer Science.

========================================

The faculty of the LogiCS doctoral college is looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates.

========================================

LogiCS - Logical Methods in Computer Science is a joint doctoral program of TU Wien, TU Graz, and JKU Linz, Austria, funded by the Austrian Science Fund (FWF).

========================================

Deadline: Friday 31 August 2018.

========================================

Website: http://logic-cs.at/phd/

========================================

TOPICS OF RESEARCH

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

- See: https://dblp.uni-trier.de/ https://dblp.uni-trier.de/

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

========================================

POSITIONS AND FUNDING

- 4-years fully funded 16 positions, 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/ ).

- Additional positions will be available through other funding.

========================================

HOW TO APPLY

- 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.

- Applications will be screened: September 1, 2018

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

- Applications by the candidates need to be submitted electronically.

========================================

ADMISSION

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

========================================

RESEARCH; STUDY; LIFE IN AUSTRIA

- Austria has a vibrant and highly active and successful logic in computer science community. See: www.vcla.at

- 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.

========================================

FURTHER INFORMATION

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