The Master’s Program in Logic and Computation
The Master’s Program in Logic and Computation offers funding to support excellent students of the program:
- We 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). The students who are awarded a scholarship receive €6000 annually, paid in installments. 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.
- We offer research fellowships for students who want to actively participate and contribute to research projects. The fellowships, which are compatible with the above scholarships are limited to the second year students of the program, and amount to approximately €440 per month.
Application for a Scholarship Students who meet the following conditions are eligible to apply:
- Bachelor’s degree in Computer Science or Mathematics (Bologna first cycle) or equivalent degree
- Extensive knowledge and interest in (at least one of) the following areas:
- Logic in Computer Science
- Formal Methods and Verification
- Foundations of Artificial Intelligence
- Complexity Theory
- Computer Security
- Proficiency in English
- Applicants must be eligible for admission to the Master’s Program in Logic and Computation. 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.
- Recipients of funding must be committed to demonstrate good progress during their studies (at least 30 ECTS after the first year)
- Recipients of funding will 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.
Application Procedure 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 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
For more information click "LINK TO ORIGINAL" below.
This opportunity has expired. It was originally published here: