Les candidatures sont sollicitées pour un doctorat de quatre ans entièrement financé au LogiCS Doctoral College – Méthodes logiques en informatique.
========================================
La faculté du collège doctoral LogiCS recherche 16 doctorants dont 30% des postes sont réservés à des candidates hautement qualifiées.
========================================
LogiCS – Logical Methods in Computer Science est un programme de doctorat conjoint de TU Wien, TU Graz et JKU Linz, Autriche, financé par le Fonds autrichien pour la science (FWF).
========================================
Date limite: vendredi 31 août 2018.
========================================
Site Web: http://logic-cs.at/phd/
========================================
SUJETS DE RECHERCHE
LogiCS se concentre sur la logique et ses applications en informatique. Les candidats retenus travailleront sur des sujets de recherche interdisciplinaires couvrant
(i) la logique de calcul,
(ii) bases de données et intelligence artificielle,
(iii) la vérification assistée par ordinateur, et
(iv) les domaines d’application émergents, tels que les systèmes cyber-physiques, les systèmes distribués et la sécurité et la confidentialité.
========================================
MEMBRES DE LA FACULTÉ
– L’Autriche a une logique vibrante et très active et réussie dans la communauté de l’informatique. Les étudiants sont encadrés par d’éminents chercheurs dans leur domaine: E.Barocci / A. Biere / R. Bloem / A. Ciabattoni / G. Gottlob / T. Eiter / R. Grosu / L. Kovacs / M. Maffei / M. Ortiz / U. Schmid / M. Seidl / S. Szeider / G. Weissenbacher / S. Woltran
– Voir: https://dblp.uni-trier.de/
– Les détails sont fournis sur: http://logic-cs.at/phd/faculty/
========================================
POSITIONS ET FINANCEMENT
– 4 ans entièrement financés 16 postes, où 30% des postes sont réservés à des candidates hautement qualifiées.
– Les postes de doctorat sont financés pour une période de 4 ans selon le schéma de financement du Fonds autrichien pour la science (détails: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/ ).
– Des postes supplémentaires seront disponibles grâce à d’autres fonds.
========================================
COMMENT S’INSCRIRE
– Les candidats doivent avoir complété une excellente maîtrise en informatique, en mathématiques ou dans un domaine connexe.
– Les candidats ayant des réalisations comparables (par exemple, baccalauréat spécialisé) peuvent être considérés au cas par cas.
– Les candidatures des candidats doivent être soumises par voie électronique.
– Les candidatures seront diffusées: 1er septembre 2018
– Les postes seront pourvus de manière continue jusqu’en octobre 2018.
– Les candidatures des candidats doivent être soumises par voie électronique.
========================================
ADMISSION
Informations détaillées: http://logic-cs.at/phd/admission/
========================================
RECHERCHE; ÉTUDE; LA VIE EN AUTRICHE
– L’Autriche a une logique vibrante et très active et réussie dans la communauté de l’informatique. Voir: www.vcla.at
– Vienne, Graz et Linz, situées à proximité des Alpes, sont entourées d’une nature magnifique. Vienne est constamment classée comme la ville ayant la meilleure qualité de vie au monde. L’Autriche a une scène culturelle passionnante, des sites historiques mondialement connus, une grande communauté internationale, une cuisine variée et de célèbres cafés.
========================================
INFORMATIONS SUPPLÉMENTAIRES
Pour plus d’informations, veuillez contacter: info@logic-cs.at