2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway

by Violet Ka I Pun, Nov. 23, 2022

We are looking for motivated PhD students for two 3-year PhD positions at Western Norway University of Applied Sciences, Bergen, Norway. The main research topics of the positions are about formal analysis for concurrent workflows. The positions are part of the Norwegian Research Council Young Research Talents project CroFlow (https://croflow.github.io/).

Contact: Violet Ka I Pun ([email protected])

Deadline: 13th January 2023
Link to detailed job posting: https://www.jobbnorge.no/en/available-jobs/job/235100/two-phd-research-fellows-in-formal-analysis-for-concurrent-workflows-for-a-period-of-3-years

About the positions


The two positions are part of the Norwegian Research Council Young Research Talents project CroFlow (https://croflow.github.io/).  The goal of the project is to develop an innovative model-driven methodology and framework that facilitates automation of planning concurrent workflows with highly automated analyses and tool support.

Cross-organisational workflows involve multiple concurrently running workflows coming from different organisations.  While tasks in these individual workflows may run independently in parallel, there are very often dependencies between them, e.g., execution orders or shared resources, which makes planning such workflows particularly challenging and error prone.  The project aims to leverage various techniques in formal methods to model and analyse cross-organisational workflows in terms of concurrent programs, and to automate workflow revisioning upon changes in the dependencies.  These are exciting positions for candidates interested in topics such as software verification, static analysis and formal modelling languages.

The two prospective PhD students will work together and contribute to the project from three perspectives:
- to design a formal modelling language for concurrent workflows with explicit notions of dependencies with respect to execution orders or shared resources,

- to reconstruct existing workflows in the form of a formal model based on event logs, and

- to develop automated formal analyses for the concurrent workflow models.

The PhD students will collaborate with the project external partners of CroFlow, including Haukeland University Hospital in Bergen, Uppsala University in Sweden and the University of L├╝beck in Germany.

Contact: Associate Professor Violet Ka I Pun ( [email protected] )