Required Language: English
Eligible Countries: All world countries.
Bachelor’s degree in Computer Science or Mathematics (Bologna first cycle) or equivalent degree
The funding will only be awarded to applicants who have been unconditionally admitted to the master’s program.
Applicants must be eligible for admission to one of the master’s programs in computer science at TU Wien that are taught in English.
Extensive knowledge and interest in (at least one of) Helmut Veith’s areas of research:
Formal Methods and Verification.
Logic in Computer Science.
Foundations of Artificial Intelligence.
Computer Security.
Complexity Theory.