[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---------------------------------------------------------------------------------------
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 ( [email protected]
<mailto:[email protected]> )
--
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$
>
