<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 class=""><br class=""></div><div class=""><div class="">---------------------------------------------------------------------------------------<br class=""><br class="">PhD position in Formal Methods for Business Process Modelling</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 August 2023</div><div class="">Salary: starting from ~NOK 540 000 per annum</div><div class=""><br class=""></div><div class="">Link to the detailed job posting: <a href="https://urldefense.com/v3/__https://www.jobbnorge.no/en/available-jobs/job/247530/phd-research-fellow-in-formal-methods-for-business-process-modelling__;!!IBzWLUs!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzbkt5L_aP$" class="">https://www.jobbnorge.no/en/available-jobs/job/247530/phd-research-fellow-in-formal-methods-for-business-process-modelling</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">About the position</div><div class="">-------------------------</div><div class=""><br class=""></div><div class="">This exciting PhD position is affiliated with the Norwegian Research Council Young Research Talents project CroFlow (Enabling Highly Automated Cross-Organisational Workflow Planning, <a href="https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzbpMWcFmO$" class="">https://croflow.github.io/</a>). The goal of the project is to develop an innovative model-driven methodology and framework that facilitates planning business processes with highly automated analyses and tool support.<br class=""><br class="">Cross-organisational workflows involve multiple concurrently running business processes, each of which consists of multiple workflows within an organisation, 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. This is an exciting position for candidates interested in modelling for business processes and in topics such as software verification, static analysis and formal modelling languages.</div><div class=""><br class="">Together with the other project members and partners, the prospective student will contribute to the project from the perspectives including reconstructing existing workflows in the form of a formal model based on event logs, developing automated formal analyses to identify potential bottlenecks in the model and self-adaptive techniques to revise workflow models.</div><div class=""><br class=""></div>The PhD students will collaborate with the project external partners, 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!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzbkxdiuxP$" class="">http://violet.foldr.org/</a></div></div></div></body></html>