PhD studentship in LogiCS Doctoral College – Logical Methods in Computer Science

Published by rosica

Deadline: 31 August 2018
Open to: applicants from all countries
Benefits: PhD students will be employed as researchers with a yearly salary

Description

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 arti cial intelligence
  • Verification
    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.

Eligibility

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.

Benefits

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.