[TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows (deadline extended)

Violet Ka I Pun violetpun at gmail.com
Fri Jan 13 07:21:37 EST 2023


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

2 PhD positions in Formal Analysis for Concurrent Workflows 

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

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

Deadline: 31st January 2023 (extended)
Salary: starting from ~ NOK 500 000 per annum

Link to detailed job posting: https://urldefense.com/v3/__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__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdLT4XVLo$  <https://urldefense.com/v3/__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__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdLT4XVLo$ >


About the positions
--------------------------

The two positions are part of the Norwegian Research Council Young Research Talents project CroFlow (https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdEE8GXsJ$  <https://urldefense.com/v3/__https://croflow.github.io/__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdEE8GXsJ$ >).  The goal of the project is to develop an innovative model-driven methodology and framework that facilitates automation of planning concurrent workflows with highly automated analyses and tool support.

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 two prospective PhD students will work together and contribute to the project from three perspectives:
- to design a formal modelling language for concurrent workflows with explicit notions of dependencies with respect to execution orders or shared resources,
- to reconstruct existing workflows in the form of a formal model based on event logs, and
- to develop automated formal analyses for the concurrent workflow models.
 
The PhD students will collaborate with the project external partners of CroFlow, 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 ( Violet.Ka.I.Pun at hvl.no <mailto:Violet.Ka.I.Pun at hvl.no> )

--
Violet Ka I Pun / https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdBYZgeV5$  <https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!QpEQtNV9PrhMjyaRjT2ptHHM4KID-9lvW62hS276CCTbjawiZ-qxr9-li3-A8smW-Nd8h_poEluf1tMuHctvIPZWdBYZgeV5$ >


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230113/21f05a75/attachment.htm>


More information about the Types-announce mailing list