The Master’s Program in Logic and Computation offers funding to support excellent students of the program:
They offer scholarships to support outstanding students to study in the Master’s Program in Logic and Computation. They are awarded annually and typically last for the duration of the master’s program (up to two years). Among the scholarships is the Helmut Veith Stipend, 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. Once per year the Helmut Veith Stipend is awarded to one excellent female student and, unlike the ordinary scholarships, includes a waiver of the tuition fees.
They offer research fellowships for students who want to actively participate and contribute to research projects.