Join ARMACAD Today

Join over 100,000 researchers, students and professionals.

Subscribe and get new opportunities every day.

Sign Up

Master’s Program in Computer Science 2020 - 2021, Vienna University of Technology, Austria


November 30, 2020

Opportunity Cover Image - Master’s Program in Computer Science 2020 - 2021, Vienna University of Technology, Austria

Master’s Program in Computer Science 

Logic and Computation is a Master’s program in computer science at the Vienna University of Technology. Its name stands for an interdisciplinary field that has its roots in mathematics, computer science, and logic.

This program is aimed at highly motivated students who want to gain knowledge in the following fundamental fields of computer science:

  • Algorithms and complexity
  • Knowledge representation and artificial intelligence
  • Logic, mathematics and theoretical computer science
  • Programming languages and verification

Why study Logic and Computation in Vienna?

Logic and Computation is crucial for today’s infrastructure, industry, consumer products, etc. Formal methods in this field build the basis for tackling great challenges, such as storing and processing big amount of data, software verification for fail-safe software in critical environments, fast algorithms to solve computationally hard problems, etc.

As a Master student you will learn basic and advanced methods in the field of Logic and Computation. Furthermore, you will have the opportunity to gain insight into state-of-the art knowledge by working together with top researchers belonging to our research groups.

Vienna has a prominent history in mathematics, computer science, and logic research (see, Kurt Gödel, Vienna Circle, etc.). The resident world-class faculty in Formal Methods and Logic and the city being No. 1 in ‘Quality of Living’ ranking by Mercer (since 2009) are only two among many reasons why (international) students and top researchers consider Vienna as a great place to study and to do research.

Professional Perspective

The Master’s program in Logic and Computation imparts knowledge that is scientifically and methodically at its highest level. The program ideally prepares you for continuing your education and starting an academic career, especially for a PhD in this area, and a job in the industry. The areas of operations where our graduates are internationally competitive include:

  • fundamental research at the university or in the industry,
  • applied science and development in industrial or scientific Spin-Offs in the areas of Formal Systems Engineering, Web and Semantic Systems, Logistic, Operations Research, and Telecommunication, and
  • Analysis and Consulting in these areas.

After operational qualification, you will also be able to take leading positions.
Based on the different requirements for these jobs, we do not only teach you the aforementioned expert knowledge, but also cognitive and practical skills (such as analysis of complex settings, scientifically proven methods, ability to think abstract, etc.) and social skill (such as communication skills, leadership competencies, critical reflection of the status-quo and your own action).

For more information click "LINK TO ORIGINAL" below.

Eligible Countries
Host Country
Study Levels
Publish Date
July 01, 2020


Subscribe to our newsletter

and receive information about international academic and professional opportunities

scholarships, summer schools, conferences, grants, fellowships, trainings

Sign Up