Sylvain Hallé
Posted in Uncategorized
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.
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.
…
Sylvain Hallé
Posted in Open positions, Postes ouverts, Uncategorized
LIF is looking for several students to work on fully-funded projects at the M.Sc. and Ph.D. level.
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.
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.
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.
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.
…
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.
Project Description
An identity query is any request for personal information made by an entity about an individual.
…
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.
Project Description
An “event stream”
…
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.
…
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),
…
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”.
…
Recent Comments