Fully funded PhD in Networking and Communication Technology at the University of Vienna

The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated,  and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our […]

CALL FOR (self)NOMINATIONS: VCLA International Student Awards for Master and Bachelor Theses

Eligible degrees conferred between November 15th, 2018 and December 31st, 2019

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 […]

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

DigiEduHack – 24h Hackathon 4 Good Artificial Intelligence

In a 24hours challenge the pupils developed ideas for a chatbot which can help with recycling, choosing alternative ways to work and schools, or even reduce your carbon footprint.

On 3rd of October, the Vienna Center for Logic and Algorithms of TU Wien organized a 24hours long virtual hackathon part of DigiEduHack, happening simultaneously in […]

Distinction: VCLA International Student Awards 2019

The community of logicians at Faculty of Informatics celebrates.

Spouseware and Stalkerware – LogicLounge with Eva Galperin

Eva Galperin, director of cybersecurity at Electronic Frontier Foundation, at the LogicLounge in New York.

After Oxford and Vienna, the LogicLounge in New York on July 15, has been already the 15th in the series of LogicLounges, which feature discussions between the public and the eminent scientists in the fields of logic, philosophy, mathematics, […]

John D. Barrow: 100 Years of Universes (In Memoriam Wolfgang Rindler)

“Philosophers were talking about that in the past, now we even have the mathematics to show it.”