Two open M.Sc. positions in evaluation of clinical skills through monitoring and analysis of logs (LIF25-M1)
2025/02/07 by Sylvain Hallé

The Formal Computing Laboratory at the University of Québec in Chicoutimi is seeking excellent M.Sc. candidates for two 2-year funded Masters project for the evaluation of clinical skills through monitoring and analysis of logs.
Students wanted for several master's and doctoral projects
2024/02/02 by Sylvain Hallé
The Formal Computing Laboratory of the Université du Québec à Chicoutimi is seeking candidates for several funded projects at the master's and doctoral levels starting in the summer and fall of 2024. The Canada Research Chair in Software Specification, Testing, and Verification provides funding for students in the form of a scholarship for the duration of the project (2 years for M.Sc., 3 years for Ph.D.).
Open PhD Position in anomaly detection in an identity query management system (LIF24-D3)
2024/01/30 by Sylvain Hallé

The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi is seeking an outstanding PhD candidate to fill a 3-year funded position on anomaly detection in an identity query management system.
Recent posts
-
Two open M.Sc. positions in evaluation of clinical skills through monitoring and analysis of logs (LIF25-M1)
2025/02/07 by Sylvain Hallé -
Students wanted for several master's and doctoral projects
2024/02/02 by Sylvain Hallé -
Open PhD Position in anomaly detection in an identity query management system (LIF24-D3)
2024/01/30 by Sylvain Hallé -
Open M.Sc. Position in monitoring of a video game economy (LIF24-M1)
2024/01/30 by Sylvain Hallé -
A PhD student from LIF earns a Best Paper Award
2021/10/02 by Sylvain Hallé