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