[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--------------------------------------------------------------------------------------------------------------
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://urldefense.com/v3/__https://www.jobbnorge.no/en/available-jobs/job/262771/__;!!IBzWLUs!Tmg9_nmcpcUpihBiVOAdkqvwdJ-5M-zhaMI4r-Z_Pfc8rto94XNBLzJp_X1KwDPc78fejwanenhBUkUK3X-nnRYEuewL7AKp$
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://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!Tmg9_nmcpcUpihBiVOAdkqvwdJ-5M-zhaMI4r-Z_Pfc8rto94XNBLzJp_X1KwDPc78fejwanenhBUkUK3X-nnRYEuXorgKLP$
). 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 ( [email protected] )
--
Violet Ka I Pun /
https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!Tmg9_nmcpcUpihBiVOAdkqvwdJ-5M-zhaMI4r-Z_Pfc8rto94XNBLzJp_X1KwDPc78fejwanenhBUkUK3X-nnRYEuXEtONH6$
