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

Posté le par par Posté dans Postes ouverts

Le LIF est à la recherche de candidats pour des projets financés de niveau maîtrise et doctorat débutant à l’été et à l’automne 2024.

Lire la suite ›

Tags : , , ,

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é le par par Posté dans Postes ouverts

Le LIF recherche d’excellents candidats au doctorat pour un projet de doctorat financé de 3 ans. L’objectif de ce projet est de développer des méthodes automatiques pour traiter les fichiers de journalisation générés par le moteur 3D et le gestionnaire de version d’un jeu vidéo, afin de créer des alertes qui préviennent des problèmes affectant la chaîne de production et évaluent la « santé » du projet. Il vise également à identifier automatiquement les éléments de journalisation nécessaires et à ajuster leur niveau et quantité selon la condition du projet.

Lire la suite ›


Candidats à la maîtrise recherchés: Monitoring de l’économie des jeux vidéo (LIF24-M1)

Posté le par par Posté dans Postes ouverts

L’objectif de ce projet est d’utiliser le simulateur d’économie de jeu machinations.io pour modéliser les économies du jeu vidéo, exécuter des simulations et analyser des statistiques afin d’assurer l’équilibre du jeu en ajustant les paramètres de l’économie en fonction des résultats de la simulation. Il vise également à exporter les données en temps réel des simulations vers la bibliothèque de traitement des flux d’événements BeepBeep à des fins d’analyse et de transformation.

Lire la suite ›


Candidats au doctorat recherchés: Évaluation des compétences cliniques par le monitoring et l’analyse de logs (LIF24-D2)

Posté le par par Posté dans Non classifié(e), Postes ouverts

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.

…

Lire la suite ›


Candidats au doctorat recherchés: Détection d’anomalies dans un système de requêtes d’identité (LIF24-D3)

Posté le par par Posté dans Postes ouverts, Non classifié(e)

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 la détection d’anomalies dans un système de requêtes d’identité.

  • Date d’entrée en fonction: 1er septembre 2024

Description du sujet

On appelle requête d’identité toute demande d’information personnelle effectuée par une entité à propos d’un individu.

…

Lire la suite ›


Candidats au doctorat recherchés: Tests et vérification pour l’event stream processing (LIF24-D1)

Posté le par par Posté dans Non classifié(e), Postes ouverts

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 sur l’application du test et de la vérification pour le traitement de flux d’événements et les blockchains.

  • Date d’entrée en fonction: 1er septembre 2024

Description du sujet

Un « flux d’événements » peut être défini comme une séquence d’éléments de données arbitraires générés par une entité ou un système.

…

Lire la suite ›


Candidats au doctorat recherchés: Tests et vérification pour l’event stream processing

Posté le par par Posté dans Postes ouverts

Description du sujet

Un « flux d’événements » peut être défini comme une séquence d’éléments de données arbitraires générés par une entité ou un système. Comme exemples de flux, on peut mentionner des blockchains constituées d’une séquence de blocs générée dynamiquement, des fichiers journaux (logs) dont les lignes sont produites par l’exécution d’un logiciel,

…

Lire la suite ›


Une doctorante du LIF gagne le prix du meilleur article

Posté le par par Posté dans Conférence, Étudiants
Photo of Rania Taleb

Nous avons le plaisir de vous annoncer que Rania Taleb, doctorante sous la direction des membres du LIF Prs. Raphaël Khoury et Sylvain Hallé, a remporté le prix du meilleur article de la 9e International Conference on Formal Methods in Software Engineering (FormaliSE 2021). L’événement était tenu en parallèle avec la International Conference on Software Engineering (ICSE),

…

Lire la suite ›

Tags :

Petit Poucet présenté à la conférence Computer Aided Verification

Posté le par par Posté dans Conférence
Picture of Petit Poucet

Les professeurs Sylvain Hallé et Hugo Tremblay ont récemment publié un article à la conférence Computer Aided Verification (CAV), qui s’est tenue de manière virtuelle en juillet 2021. La conférence CAV compte parmi les meilleures dans le domaine de la vérification logicielle.

L’article, intitulé Foundations of Fine-Grained Explainability,

…

Lire la suite ›

Tags :

Offre de stage de maîtrise en assurance qualité web chez Eckinox (LIF21-E1)

Posté le par par Posté dans Cornipickle, Étudiants, Postes ouverts
Personnel Eckinox

Titre

Développement d’outils d’assurance qualité pour le processus de développement d’un site web

Détails du projet

  • Clientèle visée: finissants de maîtrise devant effectuer un stage de fin d’étude ou un essai
  • Nombre de postes à pourvoir: 2
  • Durée: 6 mois
  • Rémunération: bourse d’études de 10000$
  • Début du projet: été 2021 (flexible)

Pour postuler

Contacter directement Sylvain Hallé (shalle@acm.org) en fournissant:

  • une lettre de présentation mentionnant le numéro du stage (LIF21-E1)
  • un relevé de notes récent
  • un curriculum vitae à jour

Contexte du projet

Dans le cadre d’une collaboration avec Eckinox,

…

Lire la suite ›


Top