Le Helmut Veith Stipend est dédié à la mémoire d’un informaticien hors pair qui a travaillé dans les domaines de la logique en informatique, de la vérification assistée par ordinateur, du génie logiciel et de la sécurité informatique. Helmut Veith, décédé tragiquement en mars 2016 , était un ardent défenseur et un mentor pour les femmes en informatique. Plus d’informations sur les recherches d’Helmut Veith sur les pages de son groupe de recherche FORSYTE .

Prix

Les étudiants qui reçoivent le Helmut Veith Stipend, reçoivent:

  • 6000 EUR par an pour une durée maximale de deux ans.
  • Exonération de tous les frais de scolarité à TU Wien.

Admissibilité

1. Les candidats doivent être éligibles pour être admis à l’un des programmes de maîtrise en informatique de la TU Wien qui sont enseignés en anglais . En 2019/2020 et 2020/2021, ce sont:

• Master en logique et calcul
• Master en informatique de gestion
• Master européen en logique informatique
• Master en génie informatique (Technische Informatik)
• Master en science des données
• Master en médias et informatique centrée sur l’homme

2 . Alors quedemandes de financement peuvent b e déposés avant ou en parallèle avec les admissions traitent , le financement ne sera accordé aux candidats qui ont été admis sans conditions au programme du maître. Une demande de financement ne remplace pas le processus d’admission; Une offre conditionnelle de financement n’autorise pas non plus le candidat à étudier à la TU Wien.

3. Les étudiantes  qui remplissent les conditions suivantes sont éligibles pour demander l’allocation:

  • Baccalauréat en informatique ou en mathématiques (premier cycle de Bologne) ou diplôme équivalent
  • Connaissance approfondie et intérêt pour (au moins l’un des) domaines de recherche d’Helmut Veith:
    • Logique en informatique
    • Méthodes formelles et vérification
    • Fondements de l’intelligence artificielle
    • Théorie de la complexité
    • Sécurité informatique
  • Maîtrise de l’anglais

Conditions

  • Les bénéficiaires de financement doivent s’engager à démontrer de bons progrès au cours de leurs études, c’est-à-dire:
    • obtenir au moins 25 crédits ECTS du programme de master respectif par trimestre en moyenne depuis le début de leurs études de master (les dates limites sont le 30 avril pour la session d’hiver et le 30 novembre pour la session d’été), et
    • atteindre une moyenne d’au plus 1,5.
  • Les bénéficiaires de financement doivent résider en Autriche pendant la durée de leurs études pendant la durée de leurs études. Les exceptions et les interruptions temporaires du séjour pendant la durée du trimestre (par exemple, pour les stages ou les visites de recherche) sont sujettes à approbation.
  • L’allocation est fournie pour la durée du programme de maîtrise (sous réserve des conditions énumérées ci-dessus), jusqu’à 2 ans.

Processus de demande

Les étudiants doivent soumettre les documents suivants:

  • Lettre d’accompagnement, décrivant le type de financement pour lequel l’étudiant demande et tous les autres aspects que l’étudiant juge pertinents pour la demande
  • Curriculum vitae
  • Lettre de motivation, décrivant les raisons pour lesquelles l’étudiant souhaite étudier dans le programme Logic and Computation, pourquoi un financement est nécessaire et avec quels groupes de la faculté l’étudiant serait intéressé à travailler pendant son mémoire de maîtrise et pourquoi.
  • Rapports sur les examens universitaires (relevés de notes)
  • Diplômes et / ou certificats (premier diplôme, licence ou supérieur). Si le certificat académique final n’est pas encore disponible au moment de la date limite de candidature, un certificat préliminaire (indiquant le type de diplôme et la date prévue d’obtention du diplôme) signé et tamponné par l’université qui délivre le diplôme doit être fourni.
  • Coordonnées de deux arbitres (pour les lettres de recommandation)
  • Certificat de langue anglaise (TOEFL ou similaire)
  • Une copie du passeport

Une traduction certifiée doit être fournie pour les documents qui ne sont ni en allemand ni en anglais. Votre demande doit être soumise par voie électronique à ta.sc-cigol @retsam avec un sujet «Application» en un seul document PDF. Le nom du fichier PDF doit être «document.pdf»

Date limite d’inscription

La date limite annuelle de dépôt des candidatures est le 30 novembre.

Des questions?

Pour toute demande et plus d’informations, envoyez un e  mail à ta.sc-cigol @retsam