Animation and exchanges in the Petri Nets community

[Violet Ka I Pun via Petrinet <address@concealed>]

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

Postdoctoral Research Fellow in Formal Methods for Business Process Modelling

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

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

Deadline: 10th June 2024
Salary: starting from ~NOK 576 000 per annum
Duration: 2 years, with the possibility of an extension for up to 1 year

Link to the detailed job posting: 
https://www.jobbnorge.no/en/available-jobs/job/262771/


About the position
==============

This postdoctoral researcher position is part of the Norwegian Research 
Council Young Research Talents project CROFLOW (Enabling Highly Automated 
Cross-Organisational Workflow Planning, https://croflow.github.io/). 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.

Our research involves developing theories and techniques to formally model 
and analyse cross-organisational workflows in terms of concurrent programs, 
and to automate workflow revisioning upon changes in the execution 
dependencies and resource constraints. This specific position will be 
contributing to the development of a framework for automating workflow 
modelling and planning based on the orchestration of static analyses and 
dynamic refactoring of the workflow models, together with the other project 
members and external partners. The prospective postdoctoral researcher should 
be interested in formal analysis for concurrent programs, with the 
application on concurrent workflow models. 

The postdoctoral researcher will have the possibility to do research stays at 
other research institutes abroad as well as at the CROFLOW’s external 
partners, including Uppsala University in Sweden and the University of Lübeck 
in Germany.

Contact: Associate Professor Violet Ka I Pun ( address@concealed )

--
Violet Ka I Pun / http://violet.foldr.org/