Helmut Veith Stipend

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.

In honor of Helmut Veith’s efforts, a stipend for outstanding female students in computer science was established with support of TU Wien, the Wolfgang Pauli Institute, and generous donations of friends and colleagues of Prof. Veith. Students who are awarded a scholarship receive EUR 6000 annually (paid in installments), and tuition fees are waived.

Click here to download the flyer in PDF

Eligibility

The Helmut Veith Stipend is awarded annually to outstanding 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. Applicants must be eligible for admission to a master’s program in Computer Science taught in English at TU Wien (currently Logic & Computation and Business Informatics; European Master´s Program Computational Logic for the duration of the recipient’s studies at TU Wien, Computer Engineering (Technische Informatik), Media and Human-Centered Computing, and Data Science). 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:

  • Bachelor’s degree in Computer Science or Mathematics (Bologna first cycle) or equivalent degree
  • Extensive 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
    • Complexity Theory
    • Computer Security
  • Proficiency in English

Conditions

  • Recipients of funding must be committed to demonstrate good progress during their studies, i.e.:
    • 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
    • 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.

Application

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 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-cigolnull@retsam as a single PDF document.

The application deadline is November 30, 2018.

Funding bodies

Recipients

Recipient Hanna Lachnitt and the Vice Rector for Academic Affairs of TU Wien Kurt Matyas.

 

The second recipient of the Helmut Veith Stipend for excellent female master’s students in computer science is Hanna Elif Lachnitt.

Hanna Lachnitt was presented with the Helmut Veith Stipend by the Vice Rector for Academic Affairs of TU Wien Kurt Matyas at the award ceremony on Friday, April 06, 2018. Hanna Lachnitt holds a Bachelor’s degree in Computer Science from the Freie Universität Berlin. Since March 2018 she has been pursuing Master in Logic and Computation.

More information on the award ceremony here.

(press coverage in DiePresse.at)

(press coverage in DerStandard, Forschung Spezial, from 12.9.2018)

Recipient Marielle Rietdijk and the Vice Rector for Academic Affairs of TU Wien Kurt Matyas (photo credits: Christian Lendl)

 

The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science is Mariëlle Rietdijk. The award was presented to her on March 14, 2017 at the following event:

“More female students in computer science. Who cares?”
Panel discussion with renowned scientists about diversity in STEM Studies
March 14, 5:30pm, TU Wien

The first recipient of the Helmut Veith Stipend, Marielle Rietdijk, came to Vienna from the Netherlands. She holds a bachelor’s degrees in Artificial Intelligence from Utrecht University and pursues a European Master’s degree in Computational Logic at TU Wien. Marielle currently works on program synthesis using proof theory, a topic that Helmut Veith was very excited about.

More information on the award ceremony here.

(press coverage in DerStandard.at)

The Award Certificate for the Helmut Veith Stipend designed by Nikita Veith and Merlin Zalodek.

Latest News

Facebook group for Austrian computer scientists

There is a new facebook group for communication among Austrian computer scientists: https://www.facebook.com/groups/AustrianComputerScience/ For those who are skeptical about facebook, we created a read-only mirror (beta version): http://forsyte.at/acs/  

Continue reading

Johannes Kinder joins Royal Holloway

After a postdoc with George Candea, FORSYTE alumnus Johannes Kinder will start a lecturer position at Royal Holloway in September 2013! Congratulations! http://people.epfl.ch/johannes.kinder?lang=en&cvlang=

Continue reading

Full news archive