Several Doctoral Positions in Computer Science in Austria
Jointly run doctoral college LogiCS is looking for 12 doctoral students.
Several Fully Funded PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS)
TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program on Logical Methods in Computer Science (LogiCS). The PhD program focuses on interdisciplinary research topics covering
computational logic, and applications of logic to
databases and artificial intelligence,
computer-aided verification,
security and privacy,
cyber-physical systems, as well as to
distributed systems.
Graduation of Marijana […]
Torsten Schaub
Torsten Schaub, University of Potsdam
Joost-Pieter Katoen
Joost-Pieter Katoen, RWTH Aachen
Viktoriia Korchemna awarded Helmut Veith Stipend
The 2018 Helmut Veith Stipend was presented at an award ceremony collocated with the symposium Humans & Machines,
Tommaso Moraschini
Tommaso Moraschini, University of Barcelona
Dominique Larchey-Wendling
Dominique Larchey-Wendling, CNRS
Prafullkumar Tale
Prafullkumar Tale, Institute of Mathematical Sciences
L’Oréal scholarship “Women in Science” for logician Anela Lolic
Alumna of FWF funded doctoral college LogiCS
Logician and a hacker – Martina Lindorfer awarded Hedy Lamarr Prize of the City of Vienna
Logician and a hacker Martina Lindorfer awarded Hedy Lamarr Prize of the City of Vienna
