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.
- Date d’entrée en fonction: 1er mai 2024 (ou plus tard)
Description du sujet
La Fondation Charles-Bruneau finance un projet visant à mettre sur pied une formation numérique interactive pour améliorer les pratiques auprès des enfants atteints d’un cancer et de leurs familles. Le projet cherche à mieux outiller les infirmières dans leur rôle auprès de ces derniers par le développement d’un jeu sérieux (serious game) visant à mesurer les compétences cliniques des praticiens. Une équipe dirigée par des chercheurs de l’Université Laval, et à laquelle participent des professeurs du Département d’informatique de l’UQAC, a reçu une subvention de plus de 6 M$ pour développer ce jeu qui sera déployé auprès du personnel de plusieurs hôpitaux du Québec. La conception et le développement du jeu seront réalisés en collaboration avec un studio de jeux vidéo d’envergure (dont l’identité sera rendue publique au printemps 2024).
Le projet de doctorat vise à formaliser, implémenter et évaluer les mécanismes qui permettront de mesurer le degré d’atteinte de différentes compétences cliniques des infirmières en observant leurs actions à travers le jeu. Pour ce faire, plusieurs défis conceptuels doivent être relevés : établir les scénarios permettant d’entraîner et mettre en évidence l’atteinte des compétences; identifier les éléments devant être observés dans le jeu; traduire des compétences générales et exprimées informellement en conditions sur ces éléments; déterminer le calcul du niveau d’atteinte de ces compétences. L’atteinte de ces objectifs fera intervenir des techniques d’analyse de logs, mais également des concepts tirés des méthodes formelles comme la vérification en temps réel (runtime monitoring) et le traitement de flux d’événements (stream processing). À terme, on cherche à produire des indicateurs définis au moyen de formalismes basés sur les mathématiques et la logique, et qui permettront d’assurer l’explicabilité des résultats dans une optique d’amélioration continue.
Domaine(s) de recherche
- Jeux vidéo sérieux
- Analyse de logs
- Spécification formelle
- Traitement de flux d’événements (stream processing)
Présentation établissement et labo d’accueil
L’Université du Québec à Chicoutimi (UQAC) fait partie du plus grand réseau universitaire au Canada. Elle est située dans la région francophone du Saguenay–Lac-Saint-Jean, réputée pour la beauté de son fjord et la majesté de sa nature environnante. L’UQAC accueille chaque année 6 500 étudiants, dont plus de 1 000 provenant de 50 pays différents. Le programme de recherche en informatique est particulièrement dynamique; il est l’hôte de deux chaires de recherche du Canada, comprend actuellement une vingtaine de professeurs, 30 doctorants et boursiers postdoctoraux et plus de 100 étudiants à la maîtrise.
Le travail de doctorat se déroulera au Laboratoire d’informatique formelle, sous la supervision du Pr. Sylvain Hallé, titulaire de la Chaire de recherche du Canada sur les tests, la spécifications et la vérification de systèmes informatiques. Le LIF est spécialisé dans l’application de méthodes formelles au test et à la vérification de divers systèmes logiciels. Les projets antérieurs des membres du corps professoral du LIF ont été réalisés en collaboration avec de nombreuses entreprises, dont Ericsson, Industrielle Alliance, Ubisoft LaForge, Devicom et Eckinox Média.
La recherche au LIF est reconnue internationalement et contribue au développement d’outils logiciels concrets et de haute qualité fondés sur des bases mathématiques solides. Les projets notables de longue date développés au LIF incluent le moteur de traitement de flux d’événements BeepBeep 3 [2], le système de surveillance de la blockchain Artichoke [3] et la bibliothèque de lignage de données Petit Poucet [4]. Toutes ces initiatives ont été récompensées et publiées dans des conférences internationales de premier plan au cours de la dernière décennie.
Profil de la candidature
Un très bon diplôme de maîtrise universitaire en informatique, informatique de gestion, mathématiques ou dans une discipline connexe est attendu. Nous recherchons en outre les qualifications suivantes:
- Bonnes compétences en programmation (Python, C#, C++)
- Une connaissance du développement de jeux vidéo est un ou des tests et de la vérification formelle seront considérés comme des atouts
- Très bonnes aptitudes à la communication scientifique et à la rédaction.
- Très bonne connaissance de la communication et de l’écriture en anglais.
- Intérêt marqué pour les problèmes scientifiques et motivation à mener une recherche indépendante et ciblée.
L’Université du Québec à Chicoutimi s’engage pour l’équité, la diversité et l’inclusion à toutes les étapes du cursus de ses étudiants; les personnes des groupes sous-représentés sont particulièrement encouragées à postuler. Les candidatures seront évaluées par un panel de trois membres du corps professoral de l’UQAC en se concentrant sur les critères mentionnés ci-dessus. Les personnes sélectionnées dans un premier temps seront convoquées pour un entretien en ligne afin d’évaluer davantage leurs compétences techniques et de communication.
Eléments à fournir pour la candidature
Les personnes souhaitant sont invités à remplir le formulaire en ligne à l’adresse https://zfrmz.com/BGLMrz4QFYzkIOZxVtpD en prenant soin de choisir le concours LIF24-D2 et en fournissant les documents suivants:
- Lettre de motivation
- Curriculum vitae, incluant a) la liste des publications le cas échéant; b) les noms et coordonnées d’au moins deux références
- Relevé de notes du baccalauréat (licence) et de la maîtrise (master)
- Une copie du mémoire de maîtrise, si celui-ci est déposé
Références
- A. Bédard, S. Hallé. (2021). Model Checking of Stream Processing Pipelines. In Proc. TIME, 5:1-5:17. DOI 10.4230/LIPIcs.TIME.2021.5
- S. Hallé. (2018). Event Stream Processing with BeepBeep 3: Log Crunching and Analysis Made Easy. Presses de l’Université du Québec, ISBN 978-2-7605-5101-5
- S. Hallé, R. Khoury, A. El-Hokayem, Y. Falcone. (2016). Decentralized Enforcement of Artifact Lifecycles. In Proc. EDOC, 1-10. DOI 10.1109/EDOC.2016.7579380
- S. Hallé, H. Tremblay. (2021). Foundations of Fine-Grained Explainability. In Proc. CAV, Springer LNCS 12760, 500-523. DOI 10.1007/978-3-030-81688-9_24
Commentaires récents