Research Groups · Master and PhD Programs · Organizations
Funded Doctoral Positions
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering computational logic, and applications of logic to databases and artificial intelligence as well as to computer-aided verification.
For further details, consider the Call for Students on the LogiCS website.
Research Groups
| Vienna University of Technology (TU Vienna) | |
 |
Database and Artificial Intelligence Group Georg Gottlob, Reinhard Pichler, Stefan Woltran |
 |
Knowledge-Based Systems Group Thomas Eiter, Stefan Szeider, Uwe Egly, Hans Tompits |
 |
Formal Methods in Systems Engineering Group Helmut Veith, Georg Weissenbacher, Florian Zuleger |
 |
Theory and Logic Group Alexander Leitsch, Agata Ciabattoni, Christian Fermüller, Bernhard Gramlich †, Gernot Salzer |
 |
Cyber-Physical Systems Group Radu Grosu |
 |
Research Unit Computational Logic Matthias Baaz, Martin Goldstern, Stefan Hetzl |
| Institute of Science and Technology Austria (IST Austria) | |
 |
Henzinger Group, Chatterjee Group Tom Henzinger, Krishnendu Chatterjee |
| University of Vienna | |
 |
Kurt Gödel Research Center Sy-David Friedman |
| Graz University of Technology (TU Graz) | |
 |
Formal Methods for Design & Verification Group Roderick Bloem |
| Johannes Kepler University Linz (JKU Linz) | |
 |
Institute for Formal Models and Verification Armin Biere, Martina Seidl |
 |
Research Institute for Symbolic Computation (RISC) Bruno Buchberger, Teimuraz Kutsia |
| University of Innsbruck | |
 |
Computational Logic Group Aart Middeldorp, Georg Moser, René Thiemann |
Master and PhD Programs
TU Vienna offers a range of Master and PhD Programs in the field of logic. All courses are offered in English.
- Doctoral Program “Logical Methods in Computer Science” (LogiCS)
- European PhD Program in Computational Logic
Organizations
The following institutions provide additional support for logic research by organizing talk/seminar series, funding talks and conferences, etc.:
