[TYPES/announce] PhD position in in Formal Methods for Business Process Modelling

[Violet Ka I Pun]

---------------------------------------------------------------------------------------

PhD position in Formal Methods for Business Process Modelling

available at 
Dept. of Computer Science, 
Western Norway University of Applied Sciences,
Bergen, Norway

---------------------------------------------------------------------------------------

Deadline: 31st August 2023
Salary: starting from ~NOK 540 000 per annum

Link to the detailed job posting: 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$  <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$ >


About the position
-------------------------

This exciting PhD position is affiliated with the Norwegian Research Council Young Research Talents project CroFlow (Enabling Highly Automated Cross-Organisational Workflow Planning, https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzbpMWcFmO$  <https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzbpMWcFmO$ >).  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.

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.

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.

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.

Contact: Associate Professor Violet Ka I Pun ( Violet.Ka.I.Pun at hvl.no <mailto:Violet.Ka.I.Pun at hvl.no> )

--
Violet Ka I Pun / https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzbkxdiuxP$  <https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzbkxdiuxP$ >
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230814/40500294/attachment-0001.htm>