Offres de stage ou d’essai, printemps 2016

Le Laboratoire d’informatique formelle sollicite les candidatures de haut calibre pour des mandats à réaliser dans le cadre des cours 8INF859 (Stage) ou 8INF860 (Essai) de la maîtrise en informatique, profil professionnel. Modalités Durée: 6 mois Date de début: flexible, à partir de juin 2016 Rémunération: montant forfaitaire, à discuter

Lire la suite ›

Posté dans Postes ouverts
Tags : , , , , ,

Maintenant sur Facebook

Nous venons tout juste d’ouvrir la page Facebook du laboratoire, qui va contenir des mises à jours sur les activités qui s’y déroulent. Venez nous voir au https://www.facebook.com/Laboratoire-dinformatique-formelle-1710436499186179/

Posté dans Non classifié(e)

Pourquoi y a-t-il autant de bugs?

Dans une conférence grand public donnée dans le cadre de l’Université populaire de l’UQAC, le professeur Sylvain Hallé explique de manière imagée et humoristique la question des bugs dans les systèmes informatiques. Cette conférence a été donnée le 27 mai 2015 au Petit théâtre de l’Université du Québec à Chicoutimi.

Lire la suite ›

Posté dans Vulgarisation

Le LIF recrute: la pub de l’automne 2015

Le LIF est à la recherche d’étudiants de niveau maîtrise pour réaliser un stage ou encore mieux, un essai dans l’un de ses multiples projets de recherche. Visionnez la vidéo de Sylvain Hallé vous expliquant quelques uns des projets disponibles!

Posté dans Postes ouverts
Tags : ,

Offre de Ph.D. en détection de malware

Détection du Malware par Monitorage des Traces d’exécution Laboratoire d’Informatique Formelle Université du Québec à Chicoutimi Chicoutimi, Québec, Canada Le Laboratoire d’informatique Formelle (http://lif.uqac.ca) sollicite les candidatures de haut-calibre relativement à une bourse d’étude de troisième cycle d’une durée de trois ans en détection du malware (code malicieux). Le candidat

Lire la suite ›

Posté dans Postes ouverts