Candidats à la maîtrise recherchés: Évaluation des compétences cliniques par le monitoring et l’analyse de logs (LIF25-M1)

Post image

Le Laboratoire d’informatique formelle à l’Université du Québec à Chicoutimi recherche d’excellents candidats au doctorat pour un projet de doctorat financé de 3 ans pour l’évaluation des compétences cliniques par le monitoring et l’analyse de logs.

Lire plus

Candidats au doctorat recherchés: Suivi de la gestion de projet d'un jeu vidéo par l'analyse des fichiers de journalisation (LIF24-D4)

Post image

Le Laboratoire d'informatique formelle à l'Université du Québec à Chicoutimi recherche d'excellents candidats au doctorat pour un projet de doctorat financé de 3 ans pour le suivi de la gestion de projet d'un jeu vidéo par l'analyse des fichiers de journalisation.

Lire plus

Étudiants recherchés pour plusieurs projets de maîtrise et de doctorat

Post image

Le Laboratoire d’informatique formelle de l’Université du Québec à Chicoutimi est à la recherche de candidats 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).

Lire plus

LIF