TU Wien 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)
  + Annual deadline for the Helmut Veith Stipend for Female Students is on November 30 of each year.
• (EXPIRED) Erasmus Mundus European Master Program in Computational Logic (English language Master program with EU scholarships in collaboration with Dresden, Bolzano, Lisbon)

Funding

Helmut Veith Stipend for Female Master´s Students in Computer Science

 

PhD Programs

MSCA COFUND LogiCS@TUWien (all positions filled) (2022 – ongoing)

 

Doctoral Program Logical Methods in Computer Science (all positions filled) (2014-2022)

• Vienna PhD School of Informatics (yearly applications for 10-20 scholarships)
• Doctoral Programme “Mathematical Logic in Computer Science”
  (all positions filled) 2010-2014