Postdoctoral Research Fellow in Formal Methods for Business Process Modelling (2 years+)

16 May 2024
Job Information

Organisation/Company

Western Norway University of Applied Sciences

Research Field

Computer science

Researcher Profile

Recognised Researcher (R2)

Country

Norway

Application Deadline

10 Jun 2024 - 23:59 (Europe/Oslo)

Type of Contract

Temporary

Job Status

Full-time

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

This exciting 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.

Cross-organisational workflows involve multiple concurrently running business processes, each of which consists of multiple workflows within an organisation, or across various 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.  Such complications could eventually lead to substantial negative impacts on financially- and safety-critical workflows. 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. 

For this specific position, we are interested in developing a framework allowing highly automated workflow modelling and planning based on the orchestration of static analyses and dynamic refactoring of the workflow models.  The prospective postdoctoral researcher should be interested in formal modelling for concurrent programs, with the application on concurrent workflow models.  Together with the other project members and external partners, the researcher will contributeto the project in areas such as automating the planning and dynamic refactoring of cross-organisational workflows.

The postdoctoral researcher will have the possibility to collaborate 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.

Requirements

Research Field

Computer science

Education Level

PhD or equivalent

Skills/Qualifications

The successful applicant must have earned a PhD degree in informatics/computer science/software engineering or have submitted the PhD thesis before the application deadline. It is a condition of employment that the PhD has been awarded.  The scientific profile must cover one or more of the following areas:

• foundations of software engineering, in particular software verification, program analysis and/or formal modelling
• event-recording automata, automata learning and/or process mining
• software engineering tools and methodology, including model-driven software engineering and verification

Specific Requirements

In addition to the required educational background and scientific profile, the following criteria will be evaluated:

• Publication track record, quality of publications, ability to lead the writing of research papers
• Quality and relevance of the PhD thesis
• Ability to work in the intersection of theoretical and applied research
• Practical software engineering skills and experience from industrial collaboration
• Oral and written communication skills in English.

Additional Information

Website for additional job details

https://www.jobbnorge.no/en/available-jobs/job/262771/postdoctoral-research-fel…

Work Location(s)

Number of offers available

1

Company/Institute

HVL Campus Bergen

Country

Norway

City

Bergen

Postal Code

5063

Street

Inndalsveien 28

Geofield

Where to apply

Website

https://www.jobbnorge.no/en/available-jobs/job/262771/postdoctoral-research-fel…

Contact

State/Province

Vestlandet

City

Bergen

Website

https://www.hvl.no/person/?user=Violet.Ka.I.Pun

Street

Inndalsveien 28

Postal Code

5063

E-Mail

[email protected]

STATUS: EXPIRED