Vienna University of Technology is offering multiple programs for local and international students with a focus on logic and algorithms:

Master Programs

• Master Program in Computational Intelligence (English language Master program)
• Erasmus Mundus European Master Program in Computational Logic (English language Master program with EU scholarships in collaboration with Dresden, Bolzano, Lisbon)

PhD Programs

• Doctoral Program Logical Methods in Computer Science – NEW (funded doctoral positions starting April 2014, 30% of the positions reserved for highly qualied female candidates)
• Vienna PhD School of Informatics (yearly applications for 10-20 scholarships)
• Doctoral Programme “Mathematical Logic in Computer Science” (all positions filled)
• Doctoral program in Computer Science (funding usually provided by advisor’s grants; please inquire with potential advisors)