TU Wien, Faculty of Informatics, 16 PhD Positions on Logical Methods in Computer Science
LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering(i) computational logic,(ii) databases and artificial intelligence,(iii) computer-aided verification, and(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.
Anuncio. Enviado por orex válido desde 03/04/2018 hasta 03/05/2018
(caducado)
For more info see the attachment.