LIF is looking for several students to work on fully-funded projects at the M.Sc. and Ph.D. level.
Students wanted for several master’s and doctoral projects
by 
Sylvain Hallé
Posted in Open positions, Postes ouverts, Uncategorized
Sylvain Hallé
Posted in Open positions, Postes ouverts, Uncategorized
Open PhD Position in Monitoring the project management of a video game by analyzing log files (LIF24-D4)
by Sylvain Hallé
Posted in Uncategorized, Open positions, open-positions, Postes ouverts
Sylvain Hallé
Posted in Uncategorized, Open positions, open-positions, Postes ouverts
LIF is looking for excellent doctoral candidates for a 3-year funded doctoral project. The objective of this project is to develop automatic methods to process log files generated by the 3D engine and version manager of a video game, in order to create alerts that prevent problems affecting the production chain and evaluate the “health” of the project. It also aims to automatically identify the necessary logging items and adjust their level and quantity according to the project condition.
Open M.Sc. Position in monitoring of a video game economy (LIF24-M1)
by Sylvain Hallé
Posted in Uncategorized, Open positions, open-positions, Postes ouverts
Sylvain Hallé
Posted in Uncategorized, Open positions, open-positions, Postes ouverts
The goal of this project is to use the game economy simulator machinations.io to model video game economies, run simulations, and analyze statistics to ensure game balance by adjusting the economy’s parameters based on simulation outcomes. It also aims to export real-time data from the simulations to the BeepBeep event stream processing library for analysis and transformation.
Open PhD Position in evaluation of clinical skills through monitoring and analysis of logs (LIF24-D2)
by Sylvain Hallé
Posted in open-positions, Postes ouverts, Uncategorized
Sylvain Hallé
Posted in open-positions, Postes ouverts, Uncategorized
The Formal Computing Laboratory at the University of Québec in Chicoutimi is seeking excellent PhD candidates for a 3-year funded doctoral project for the evaluation of clinical skills through monitoring and analysis of logs.
- Start date: May 1, 2024 (or later)
Project Description
The Charles-Bruneau Foundation is funding a project aimed at setting up an interactive digital training to improve practices for children with cancer and their families.
…
Open PhD Position in anomaly detection in an identity query management system (LIF24-D3)
by Sylvain Hallé
Posted in Open positions
Sylvain Hallé
Posted in Open positions
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.
- Starting date: September 1st, 2024
Project Description
An identity query is any request for personal information made by an entity about an individual.
…
Open PhD Position in Testing and Verification for Stream-Based Processing (LIF24-D1)
by Sylvain Hallé
Posted in Open positions
Sylvain Hallé
Posted in Open positions
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 the application of testing and verification for event stream processing and blockchains.
- Starting date: September 1st, 2024
Project Description
An “event stream”
…
Open PhD Position in Testing and Verification for Stream-Based Processing
by Sylvain Hallé
Posted in Open positions
Sylvain Hallé
Posted in Open positions
The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi (https://www.uqac.ca) is seeking an outstanding PhD candidate to fill a 3-year funded position on the application of testing and verification for event stream processing and blockchains.
- Application deadline: March 31st, 2022
- Starting date: August 31st,
…
A PhD student from LIF earns a Best Paper Award
by Sylvain Hallé
Posted in Conferences, Students
Sylvain Hallé
Posted in Conferences, Students
We are pleased to announce that Rania Taleb, a PhD candidate under the supervision of LIF members Prs. Raphaël Khoury and Sylvain Hallé, has earned the Best Paper Award of the 9th Conference on Formal Methods in Software Engineering (FormaliSE 2021). The event was co-located with the International Conference on Software Engineering (ICSE),
…
Tags: best paper award
Petit Poucet presented at the Computer Aided Verification conference
by Sylvain Hallé
Posted in Conférence
Sylvain Hallé
Posted in Conférence
Professors Sylvain Hallé and Hugo Tremblay recently published a paper at the Computer Aided Verification (CAV) conference, held virtually in July 2021. The CAV conference is one of the best in the field of software verification.
The article, titled Foundations of Fine-Grained Explainability, defines the mathematical basis of a concept called “explainability”.
…
Tags: Petit Poucet
Open internship position in web quality assurance at Eckinox (2021 edition)
by Sylvain Hallé
Posted in Cornipickle, Open positions, Students
Sylvain Hallé
Posted in Cornipickle, Open positions, Students
(This internship will take place in French. For more information, please refer to the French version of this post.)
As part of a collaboration with Eckinox, an agency specialized in web, design, video and marketing, the project consists of developing web applications and integrating into the development process an automated tool for testing graphical interfaces.
…
Recent Comments