Helmut Veith Stipend 2020 for CSE Female Students at Vienna University of Technology


Deadline: 30 November 2020


The Helmut Veith Stipend is awarded annually to motivated female students in the field of computer science who pursue (or plan to pursue) one of the master’s programs in Computer Science at TU Wien taught in English.

The Vienna Center for Logic and Algorithms (VCLA) is an initiative of Technische Universität Wien – TU Wien (Vienna University of Technology). Located at the Faculty of Informatics of TU Wien, the Center is promoting international scientific collaboration in logic and algorithms. Moreover, the VCLA outreach activities are aimed towards raising aspirations of young people for academic pursuits and to raise awareness on the impact of the research done in the areas of logic, philosophy, mathematics, computer science, and artificial intelligence among the general public alike. The annual reports offer a detailed overview of all VCLA activities.

The Helmut Veith Stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. Helmut Veith, who tragically passed away in March 2016, was a strong advocate and mentor for women in computer science. Helmut served as the speaker of the Doctoral College Logical Methods in Computer Science and as the deputy coordinator of the National Research Network Rigorous Systems Engineering (RiSE). Posthumously, Helmut was awarded the ERC Advanced Grant – one of the highest academic distinctions in Europe – for his project HYDRA (Harnessing Model Checking for Distributed Algorithms). In honor of Helmut´s advocacy for women in computer science, the TU Wien, the Wolfgang Pauli Institute, and Helmut´s friends and colleagues fund the Helmut Veith Stipend for Female Master´s Students. More on Helmut Veith´s research on the pages of his research group FORSYTE.

TU Wien (Vienna University of Technology) is one of the major universities in Vienna, Austria. The university has received extensive international and domestic recognition in teaching as well as in research, and it is a highly esteemed partner of innovation-oriented enterprises.


Students who are awarded the Helmut Veith Stipend, receive:

  • EUR 6000 annually for a duration of up to two years.
  • Waiver of all tuition fees at TU Wien.


  • 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 2019/2020 and 2020/2021 those are:
    1. Master in Logic and Computation
    2. Master in Business Informatics
    3. European Master in Computational Logic
    4. Master in Computer Engineering (Technische Informatik)
    5. Master in Data Science
    6. Master in Media and Human-Centered Computing
  • 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.
  • Female students who meet the following conditions are eligible to apply for the stipend:
    1. Bachelor’s degree in Computer Science or Mathematics (Bologna first cycle) or equivalent degree
    2. Extensive knowledge and interest in (at least one of) Helmut Veith’s areas of research:
      1. Logic in Computer Science
      2. Formal Methods and Verification
      3. Foundations of Artificial Intelligence
      4. Complexity Theory
      5. Computer Security
           3. Proficiency in English


  • Recipients of funding must be committed to demonstrating good progress during their studies, i.e.:
    1. obtain at least 25 ECTS credits from the respective master’s curriculum per term on average since the beginning of their master’s studies (the deadlines are April 30 for the winter term and November 30 for the summer term), and
    2. achieve a grade average of at most 1.5.
  • Recipients of funding have to reside in Austria during term time for the duration of their studies. Exceptions and temporary interruptions of the stay during term time (e.g., for internships or research visits) are subject to approval.
  • The stipend is provided for the duration of the master’s program (subject to the conditions listed above), for up to 2 years.


Students are required to submit the following documents:

  • Cover Letter, describing the type of funding the student is applying for, and all other aspects the student deems relevant for the application Curriculum Vitae
  • Motivation Letter, describing the reasons why the student wants to study in the program Logic and Computation, why funding is necessary, and with which groups of the faculty the student would be interested to work with during their master’s thesis and why.
  • Reports on university examinations (transcripts)
  • Diplomas and/or certificates (first degree, bachelor’s degree, or higher). If the final academic certificate is not yet available at the time of the application deadline, a preliminary certificate (indicating the type of degree and the expected graduation date) signed and stamped by the degree-awarding university must be provided.
  • Contact details of two referees (for letters of recommendation)
  • English language certificate (TOEFL or similar)
  • Copy of passport
  • A certified translation needs to be provided for documents that are not in German or English. Your application must be submitted electronically to ta.sc-cigol@retsam with a subject “Application” as a single PDF document.
  • The name of the PDF file needs to be “document.pdf”
  • A certified translation needs to be provided for documents that are not in German or English.
  • Your application must be submitted electronically to ta.sc-cigol@retsam with a subject “Application” as a single PDF document. The name of the PDF file needs to be “document.pdf”

For more information Website