Category: PhD
-
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…