Monthly Archives: January 2022

Open PhD Position in Testing and Verification for Stream-Based Processing

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.

  • Application deadline: March 31st, 2022
  • Starting date: August 31st,

Read more ›