16 PhD Stellen

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.

Leave a Reply