<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 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 style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div><div class="">Postdoctoral Research Fellow in Formal Methods for Business Process Modelling</div><div class=""><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: 25th February 2024</div><div class="">Salary: starting from ~NOK 576 000 per annum</div><div class="">Duration: 2 years, with the possibility of an extension for up to 1 year</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/256574/__;!!IBzWLUs!SB3Fn-xGrjFxwZ_dc2hBmsTtpvt0KThh084HOHU5cs-xVEqWrmzti33tro6o9GMxpVkD3i-fM7BnV_n3zKLvzYpuosOv-NGa$" class="">https://www.jobbnorge.no/en/available-jobs/job/256574/</a></div><div class=""><br class=""></div><div class="">===================================================================</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">About the project</div><div class="">------------------------</div><div class=""><br class="">This postdoctoral research fellow position is part of 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!SB3Fn-xGrjFxwZ_dc2hBmsTtpvt0KThh084HOHU5cs-xVEqWrmzti33tro6o9GMxpVkD3i-fM7BnV_n3zKLvzYpuog4V1bN9$" 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 process 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, or across various 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. Such complications could eventually lead to substantial negative impacts on financially- and safety-critical workflows. 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.<br class=""><br class=""><div class="">About the position</div><div class="">-------------------------</div><br class="">For this specific position, we are interested in developing a framework allowing highly automated workflow modelling and planning based on the orchestration of static analyses and dynamic refactoring of the workflow models. The prospective postdoctoral researcher should be interested in formal modelling for concurrent programs, with the application on concurrent workflow models. Together with the other project members and external partners, the researcher will contribute to the project from the perspectives including automating the planning and dynamic refactoring of cross-organisational workflows.<br class=""><br class="">The postdoctoral researcher will have the possibility to collaborate with the external project partners of CROFLOW, including Haukeland University Hospital in Bergen, Uppsala University in Sweden and the University of Lübeck in Germany.</div><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!SB3Fn-xGrjFxwZ_dc2hBmsTtpvt0KThh084HOHU5cs-xVEqWrmzti33tro6o9GMxpVkD3i-fM7BnV_n3zKLvzYpuopHYy1Lv$" class="">http://violet.foldr.org/</a></div><div class=""><br class=""></div></div></div></div></div></div></div></body></html>