PhD Positions, Joint Doctoral Program LogiCS, Austria (2018)

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 artifcial intelligence
- Verification
computer-aided verification, in particular, model checking

In the years 2018-2022, the doctoral college will admit 16 Ph.D. students where 30% of the positions are reserved for female candidates.

Eligibility
- Applicants from all countries all eligible;
- Candidates should hold an MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study;
- In exceptional cases, outstanding students with excellent marks on their Bachelor’s degree can also be admitted;
- Previous knowledge in the areas of the computational logic, databases/AI, verification is desirable but not required.

Deadline: ongoing

Further details:
PhD Positions, Joint Doctoral Program LogiCS, Austria (2018)