<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div><div class="">----------------------------------------------------------------------------------<br class=""><br class="">2 PhD positions in Formal Analysis for Concurrent Workflows </div><div class=""><br class=""></div><div class="">available at </div><div class="">Dept. of Computer Science, </div><div class="">Western Norway University of Applied Sciences,</div><div class="">Bergen, Norway</div><div class=""><br class=""></div><div class="">----------------------------------------------------------------------------------</div><div class=""><br class=""></div><div class="">Deadline: 31st January 2023 (extended)</div><div class="">Salary: starting from ~ NOK 500 000 per annum</div><div class=""><br class=""></div><div class="">Link to detailed job posting: <a href="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!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdLT4XVLo$" class="">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</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">About the positions</div><div class="">--------------------------</div><div class=""><br class=""></div><div class="">The two positions are part of the Norwegian Research Council Young Research Talents project CroFlow (<a href="https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdEE8GXsJ$" class="">https://croflow.github.io/</a>). 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.</div><div class=""><br class=""></div>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.<br class=""><br class="">The two prospective PhD students will work together and contribute to the project from three perspectives:<br class="">- to design a formal modelling language for concurrent workflows with explicit notions of dependencies with respect to execution orders or shared resources,<br class=""><div class="">- to reconstruct existing workflows in the form of a formal model based on event logs, and<br class=""></div><div class="">- to develop automated formal analyses for the concurrent workflow models.<br class=""></div> <br class="">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.<div class=""><br class=""></div><div class="">Contact: Associate Professor Violet Ka I Pun ( <a href="mailto:Violet.Ka.I.Pun@hvl.no" class="">Violet.Ka.I.Pun@hvl.no</a> )<br class=""><br class="">--<br class="">Violet Ka I Pun / <a href="https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdBYZgeV5$" class="">http://violet.foldr.org/</a></div><div class=""><br class=""></div><div class=""><br class=""></div></div></div></body></html>