fr
Organisation à but non lucratif, Parcourir ses opportunités similaires
TU Wien, TU Graz et JKU Linz recherchent des étudiants exceptionnellement talentueux et motivés pour leur programme de doctorat commun LogiCS afin de travailler dans les domaines fondamentaux de l'informatique suivants:
théorie de la preuve, complexité de calcul et déduction automatisée
applications de la logique aux bases de données et à l'intelligence artificielle
vérification assistée par ordinateur, en particulier vérification de modèle
Dans les années 2018-2022, le collège doctoral accueillera 16 doctorants dont 30% des postes sont réservés à des candidates. Les doctorants seront employés en tant que chercheurs. Voir Arrangements financiers pour plus de détails.
Les candidats peuvent indiquer leur préférence pour un conseiller ou un domaine de recherche dans le formulaire d'admission. L'affectation au directeur de thèse et à un ou plusieurs co-conseillers devrait être décidée au moment de l'admission au programme.
Les postes seront pourvus de manière continue, il reste encore des postes disponibles.
Les étudiants présélectionnés seront invités à participer à deux entretiens par vidéoconférence et face à face.
Nous invitons les candidats de tous les pays à postuler. Les candidats doivent être titulaires d'une maîtrise ou d'un diplôme équivalent en informatique, en mathématiques ou dans un domaine apparenté, ainsi que d'un excellent dossier d'études. Les candidats ayant des résultats comparables (par exemple, un baccalauréat spécialisé) peuvent être considérés au cas par cas. Des connaissances préalables dans les domaines du collège doctoral (logique informatique, bases de données / IA, vérification) sont souhaitables mais non requises.
Téléchargez le formulaire de candidature et suivez les instructions ci-dessous. Toutes les informations fournies dans le formulaire de candidature doivent être précises et complètes. Toute correspondance se fera par courrier électronique en utilisant l’adresse électronique que vous avez indiquée dans le formulaire de candidature en ligne. Veuillez vérifier régulièrement vos courriels et gardez votre boîte aux lettres prête à recevoir.
Envoyez votre formulaire de demande rempli, ainsi que tous les documents de demande requis, à dk-apply@logic-cs.at. Le sujet doit être DKLOGICS.
Joignez 2 fichiers PDF distincts comme suit:
Si les noms d'objet et de fichier étaient corrects, vous recevrez un email de confirmation généré automatiquement. Veuillez revérifier les noms de sujet et de fichier si vous ne recevez pas un tel courrier électronique! En cas de corrections ultérieures d'une soumission réussie, veuillez nous contacter et ne pas soumettre le formulaire une seconde fois. Si nous recevons deux ou plusieurs formulaires de demande de la même personne, nous n'en examinerons aucun.
Les non-anglophones doivent s’assurer que leur maîtrise de l’anglais répond aux exigences du programme de doctorat pour pouvoir profiter pleinement de leurs cours. Le programme de doctorat encourage les candidats à fournir les tests / résultats suivants pour leurs qualifications en langue anglaise:
Cependant, la maîtrise de la langue anglaise peut être prouvée de nombreuses manières, en fonction de la formation antérieure de l’élève. À cette fin, les étudiants doivent remettre tous les certificats de langue, diplômes, etc., en tant que partie intégrante des documents de candidature. La maîtrise de la langue anglaise des candidats sera également évaluée lors des entretiens avec les candidats.
Choisissez le pays que vous souhaitez le visiter pour étudier gratuitement, travailler ou faire du bénévolat