Die TU Wien, TU Graz, und JKU Linz suchen nach Doktoratsstudierenden im Rahmen ihres Doktoratsaprogramms LogiCS in den folgenden Gebieten:
- 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
Hier mehr infos.