Archives de catégorie : Laboratoire

Plusieurs projets de recherche (maitrise et doctorat) proposés par le LIF pour l’été et l’automne 2024

Le Laboratoire d’informatique formelle de l’Université du Québec à Chicoutimi est à la recherche de personnes candidates pour plusieurs projets financés de niveau maîtrise et doctorat débutant à l’été et à l’automne 2024. La Chaire de recherche du Canada en spécification, test et vérification de systèmes informatiques assure le financement des étudiants, sous la forme d’une bourse d’études, pour la durée du projet (2 ans pour la maîtrise, 3 ans pour le doctorat).

Toutes les infos via le lien suivant !