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
Dynamic Answer Set Programming
Friday, December 13, 2019 at 14:15 c.t.
Joost-Pieter Katoen
Probabilistic Programming: Machine Learning for the Masses?
Wednesday, December 4, 2019 at 10:30 s.t.
Viktoriia Korchemna awarded Helmut Veith Stipend
Friday, October 18, 2019
Tommaso Moraschini
Profinite Heyting algebras and the representation problem for Esakia spaces
Wednesday, November 20, 2019 at 16:30 s.t.
Dominique Larchey-Wendling
Hilbert’s Tenth Problem in Coq
Wednesday, November 27, 2019 at 16:30 s.t.
Prafullkumar Tale
Lossy Kernels for Graph Contraction Problems
Monday, November 11, 2019 at 14:00 s.t.
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
