The Department of Computer science, Electrical engineering and Mathematical sciences at Western Norway University of Applied Sciences ( https://www.hvl.no/en/ ) has two vacant PhD positions in Formal Analysis for Concurrent Workflows
About the PhD projects Cross-organisational workflows involve multiple concurrently running workflows 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. These are exciting positions for candidates interested in topics such as software verification, static analysis and formal modelling languages. The PhD projects will be concerned with design of a formal modelling language for concurrent workflows with explicit notions of dependencies with respect to execution orders or shared resources; reconstruction of existing workflows in the form of a formal model based on event logs; and development of a automated formal analysis for the concurrent workflow models. The healthcare domain is a main application are of the project. Research environment The two positions are part of the Norwegian Research Council Young Research Talents project CroFlow (Enabling Highly Automated Cross-Organisational Workflow Planning). The PhD research fellows will be part of the Software Engineering Research Group (https://www.hvl.no/en/research/group/software-engineering/) and the computer science research environment at HVL (https://ict.hvl.no). The positions also involve collaboration 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. The PhD research fellows receive an annual work expense funding which can be used for conference participation, research visits and equipment, and will also receive support for spending 3-6 months in a external academic environment during the project period. Application deadline is January 13, 2023. Further information about the positions, including instructions on how to apply can be found via: https://www.jobbnorge.no/en/available-jobs/job/235100/two-phd-research-fellows-in-formal-analysis-for-concurrent-workflows-for-a-period-of-3-years
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet@informatik.uni-hamburg.de ]]
