PhD position in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice
We invite applications for a PhD position (3 years with the possibility of extension), working with the Assistant Professor Jiehua Chen at the Vienna University of Technology (Technische Universität Wien – TU Wien), Vienna, Austria.
The PhD position is available for the WWTF research project (Vienna Science and Technology Fund) titled Structural and Algorithmic Aspects of […]
Fully Funded PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria
Deadline: June 12, 2020
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 […]
{CANCELED} Call for SIGLOG, VCLA and ILLC Travel Awards for WiL 2020
The Women in Logic Workshop 2020 (Wil) will due to COVID-19 take place virtually.
CALL FOR (self)NOMINATIONS: VCLA International Student Awards for Master and Bachelor Theses
Eligible degrees conferred between November 15th, 2018 and December 31st, 2019
Report: Helmut-Veith-Memorial Workshop 2020
Logicians amid the Austrian Alps
Accepted papers at the AAAI 2020
10 papers accepted at the 34th AAAI Conference on Artificial Intelligence 2020
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
