Deadline: 31 August 2018
Open to: applicants from all countries
Benefits: PhD students will be employed as researchers with a yearly salary
The LogiCS doctoral program is a PhD degree program funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities TU Wien (Vienna University of Technology), Graz University of Technology and Johannes Kepler University Linz. This program is aimed at highly motivated students who want to work in the field of Logical Methods in Computer Science.
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS to work in the following fundamental fields of computer science:
- Computational Logic
proof theory, computational complexity and automated deduction
- Databases / Artificial Intelligence
applications of logic to databases and articial intelligence
computer-aided verification, in particular model checking
- Application domains such as security & privacy, cyber-physical systems, and distributed systems
Applicants may state their preference for an advisor or research field in the admission form. Assignment to the PhD advisor and one or more co-advisors should be decided at the point of admission to the program.
Applicants from all countries are invited to apply. Candidates should hold a MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis. Previous knowledge in the areas of the doctoral college (computational logic, databases/AI, verification) is desirable but not required.
In the years 2018-2022, the doctoral college will admit 16 PhD students where 30% of the positions are reserved for female candidates. PhD students will be employed as researchers, see Financial arrangements for details.
How to apply?
For more information about the programme and how to apply, please visit the official website.