[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
----------------------------------------------------------------------------------
2 PhD positions in Formal Analysis for Concurrent Workflows
available at
Dept. of Computer Science,
Western Norway University of Applied Sciences,
Bergen, Norway
----------------------------------------------------------------------------------
Deadline: 13th January 2023
Link to detailed job posting:
https://urldefense.com/v3/__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__;!!IBzWLUs!VqJM05qHB9RcDRgZ3ukk5pPnn_oAFAAaOtiVwHB_TGZoVwfwtYUDMr_2kaqkzTDAP4uHaUBb90WntjRqVLFdRHQGDkYcG6hD$
<https://urldefense.com/v3/__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__;!!IBzWLUs!VqJM05qHB9RcDRgZ3ukk5pPnn_oAFAAaOtiVwHB_TGZoVwfwtYUDMr_2kaqkzTDAP4uHaUBb90WntjRqVLFdRHQGDkYcG6hD$
>
About the positions
--------------------------
The two positions are part of the Norwegian Research Council Young Research
Talents project CroFlow
(https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!VqJM05qHB9RcDRgZ3ukk5pPnn_oAFAAaOtiVwHB_TGZoVwfwtYUDMr_2kaqkzTDAP4uHaUBb90WntjRqVLFdRHQGDq1OqZXE$
<https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!VqJM05qHB9RcDRgZ3ukk5pPnn_oAFAAaOtiVwHB_TGZoVwfwtYUDMr_2kaqkzTDAP4uHaUBb90WntjRqVLFdRHQGDq1OqZXE$
>). 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]
<mailto:[email protected]> )
--
Violet Ka I Pun /
https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!VqJM05qHB9RcDRgZ3ukk5pPnn_oAFAAaOtiVwHB_TGZoVwfwtYUDMr_2kaqkzTDAP4uHaUBb90WntjRqVLFdRHQGDnzm8-EF$
<https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!VqJM05qHB9RcDRgZ3ukk5pPnn_oAFAAaOtiVwHB_TGZoVwfwtYUDMr_2kaqkzTDAP4uHaUBb90WntjRqVLFdRHQGDnzm8-EF$
>
