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/

Read more ›



Now on Facebook

We’ve just opened LIF’s own Facebook page, which will contain updates about the lab’s activities! See us at https://www.facebook.com/Laboratoire-dinformatique-formelle-1710436499186179/

Read more ›



Why are there so many bugs?

In a public conference given during UQAC’s Université populaire (popular university), Professor Sylvain Hallé explains in a humorous way the issue of bugs in computer systems. (The video is in French.)

This conference was given on May 27th, 2015 at Université du Québec à Chicoutimi. Pr.

Read more ›



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.

Read more ›



LIF is hiring: see the Fall 2015 video ad

LIF is looking for Master’s degree students to undertake an internship or an essay in one of its various research projects. View the video of Pr. Sylvain Hallé (in French) explaining some of the available projects!

Read more ›



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!

Read more ›

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).

Read more ›



Open Ph.D. position in Malware Detection

Detecting Malware through Execution Trace Monitoring

Laboratoire d’Informatique Formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada

The Formal Computer Science Laboratory (http://lif.uqac.ca) is seeking high-quality applications for a fully-funded PhD position in Malware Detection. Candidates should be highly self-motivated,

Read more ›



Top