Wien: Logic and Computation (M.Sc.) - 10.2026

Übersicht

Der Studiengang "Logic and Computation (M.Sc.)" an der TU Wien ist ein Vollzeit-Masterprogramm mit einer Regelstudienzeit von vier Semestern. Das Studium findet am Standort Wien statt und wird in englischer Sprache angeboten.

Studieninhalte und Studienorganisation

Der Studiengang vermittelt Kenntnisse in Logik, Berechnung und formalen Modellen, wobei die Inhalte auf die Entwicklung und Analyse von rechnergestützten Systemen fokussieren. Das Studium besteht aus verschiedenen Modulen, die sowohl theoretische als auch praktische Aspekte abdecken. Es legt besonderen Wert auf Lehrveranstaltungen, Studieninhalte und die Qualität der Dozenten.

Wichtige Inhalte:

• Logik und formale Modelle
• Theoretische Informatik
• Berechnungstheorie
• Formale Sprachen und Automaten
• Algorithmendesign und -analyse
• Praktische Anwendungen in der Informatik

Mehr Infos zum Studiengang findest du unter "Infos und Bewerbung".

Berufliche Perspektiven

Absolventinnen und Absolventen des Studiengangs können in verschiedenen Berufsfeldern tätig werden, insbesondere in der Forschung, Softwareentwicklung, Systemanalyse und in Unternehmen, die sich mit formaler Verifikation und automatisierter Logik beschäftigen.

Typische Einsatzbereiche:

• Forschung und Entwicklung in der Informatik
• Software- und Systementwicklung
• Automatisierung und Verifikation
• Technische Beratung und Analyse