Monthly Archives: November 2015

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/

Posted in Uncategorized

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. Hallé was on stage

Read more ›

Posted in Vulgarisation

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!

Posted in Open positions

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, possess high organizational skills, be open minded, and be interested

Read more ›

Posted in Open positions