Helmut Veith Stipend

Eligibility criteria

1. Applicants must be eligible for admission to one of the master’s programs in computer science at TU Wien that are taught in English. In 2025/2026 those are: • Master in Logic and Computation • Master in Business Informatics • Master in Computer Engineering (Technische Informatik) • Master in Data Science • Master in Media and Human-Centered Computing • Master in Software Engineering and Internet Computing 2. While applications for funding can be filed before or in parallel with the admissions process, the funding will only be awarded to applicants who have been unconditionally admitted to the master’s program. An application for funding does not replace the admissions process; neither does a conditional offer of funding entitle the applicant to study at TU Wien. 3. Female students who meet the following conditions are eligible to apply for the stipend: Bachelor’s degree in Computer Science or Mathematics (Bologna first cycle) or equivalent degree Extensive mathematical and technical knowledge and interest in (at least one of) Helmut Veith’s areas of research: Logic in Computer Science Formal Methods and Verification Foundations of Artificial Intelligence Algorithms and Complexity Theory Computer Security Proficiency in English