Postdoctoral Research Fellow in Formal Methods

2 days ago


Bergen, Vestland, Norway European Association for Programming Languages and Systems (EAPLS) Full time
Postdoctoral Research Fellow in Formal Methods

by Violet Ka I Pun, May 30, 2024

A postdoctoral researcher position in Formal Methods for Business Process Modelling is 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

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.

#J-18808-Ljbffr

  • Bergen, Vestland, Norway Raket Webbyrå AB Full time

    The PREPARE project analyzes citizens' potential for political engagement, drawing on media and communication studies, as well as political theory, anthropology, and sociology. We use qualitative methods to understand how different social groups connect to the public and engage with politics. Current team members are studying immigrant groups, citizens in...


  • Bergen, Vestland, Norway European Association for Programming Languages and Systems (EAPLS) Full time

    We are seeking a highly motivated postdoctoral researcher to join our team in Bergen, Norway. The position is focused on developing innovative methodologies and frameworks for business process modelling and analysis.As a researcher in this field, you will have the opportunity to work on a project that aims to enable highly automated cross-organisational...


  • Bergen, Vestland, Norway Raket Webbyrå AB Full time

    Citizens' relations to the public sphere are complex and multifaceted, involving various forms of engagement and interaction. Our team is conducting research on this topic, using qualitative methods to study how different social groups connect to the public and engage with politics.We are seeking a postdoctoral research fellow to join our team and contribute...


  • Bergen, Vestland, Norway European Association for Programming Languages and Systems (EAPLS) Full time

    The position is part of the Norwegian Research Council Young Research Talents project CROFLOW, which aims to develop a model-driven methodology and framework for planning business processes with highly automated analyses and tool support.As a postdoctoral researcher, you will contribute to the development of a framework for automating workflow modelling and...


  • Bergen, Vestland, Norway Raket Webbyrå AB Full time

    The PREPARE project is an interdisciplinary research initiative that aims to analyze citizens' potential for political engagement. Our team uses qualitative methods to study how different social groups connect to the public and engage with politics. We are particularly interested in groups that tend to get little attention from researchers or are less...


  • Bergen, Vestland, Norway Euraxess Full time

    About the OpportunityThis PhD research fellow position offers a unique chance to work on cutting-edge projects in algorithmic analysis, advancing methods to understand the effectiveness of heuristic approaches. As a research fellow, you will have the opportunity to collaborate with renowned researchers, contribute to the advancement of the field, and develop...


  • Bergen, Vestland, Norway Raket Webbyrå AB Full time

    Our team is conducting research on citizens' relations to the public sphere, exploring how they connect to the public and engage with politics. This involves analyzing different social groups, including immigrant groups, citizens in rural communities, and women in working-class jobs in Norway.We are seeking a postdoctoral research fellow to join our team and...


  • Bergen, Vestland, Norway Société Préhistorique Française Full time

    Job DescriptionThe Société Préhistorique Française is seeking a highly motivated and experienced researcher to join our team as a PhD Research Fellow in Stone Age Archaeology. This is a full-time, fixed-term position for a period of 4 years.The successful candidate will be part of the COASTARK research group and contribute to the project "Coastal...


  • Bergen, Vestland, Norway European Association for Programming Languages and Systems (EAPLS) Full time

    This postdoctoral researcher position is an exciting opportunity for individuals interested in formal methods and business process modelling. The successful candidate will join a team of researchers working on the CROFLOW project, which focuses on developing innovative methodologies and frameworks for planning business processes.As a researcher in this...


  • Bergen, Vestland, Norway European Association for Programming Languages and Systems (EAPLS) Full time

    Our team is seeking a highly skilled postdoctoral researcher to contribute to the development of a framework for automating workflow modelling and planning. As a researcher in this field, you will have the opportunity to work on a project that aims to enable highly automated cross-organisational workflow planning.The project involves developing theories and...


  • Bergen, Vestland, Norway Euraxess Full time

    About the JobWe are seeking a highly motivated PhD Research Fellow in Algorithms to join our team at the Department of Informatics. As a research fellow, you will have the opportunity to work on cutting-edge projects in algorithmic analysis, advancing methods to understand the effectiveness of heuristic approaches.The position is for a fixed-term period of 3...


  • Bergen, Vestland, Norway Euraxess Full time

    About the ProjectThe goal of this project is to develop novel methods for understanding the effectiveness of heuristic approaches in modern theoretical computer science. We aim to advance the field by exploring rigorous algorithmic and complexity paradigms, focusing on graph-theoretic problems and problems of fundamental importance to artificial intelligence...


  • Bergen, Vestland, Norway Unist Full time

    Unist: A Leader in Computer ScienceThe University of Bergen is a premier institution for research and education, with a strong focus on computer science. Our department of informatics is dedicated to advancing the field through cutting-edge research and innovative projects.We are currently seeking a highly motivated PhD researcher to join our team as a...


  • Bergen, Vestland, Norway Euraxess Full time

    About the DepartmentWe are the Department of Informatics at the University of Bergen, dedicated to advancing knowledge in computer science and related fields. Our department is committed to providing a stimulating research environment, fostering collaboration and innovation among our faculty and students.We offer a range of research areas, including...


  • Bergen, Vestland, Norway Société Préhistorique Française Full time

    About the JobWe are seeking a talented researcher to fill this exciting opportunity at the Société Préhistorique Française. As a PhD Research Fellow, you will play a key role in advancing our understanding of Stone Age cultures in western Norway.You will be working closely with the COASTARK research group, contributing to the development of new methods...


  • Bergen, Vestland, Norway Société Préhistorique Française Full time

    Key ResponsibilitiesThe successful candidate will be responsible for:Conducting original research in paleodemography, focusing on developing new methods for data analysis.Collaborating with the COASTARK research group to advance our understanding of Stone Age cultures in western Norway.Designing and conducting research projects, collecting and analyzing...


  • Bergen, Vestland, Norway Universitetet i Bergen Full time

    Job DescriptionThe University of Bergen is seeking an accomplished individual to fill a full-time, permanent position as Professor or Associate Professor in the field of Medical Artificial Intelligence (AI). As a key member of the Faculty of Medicine, you will contribute to outstanding research and teaching.We are looking for an expert in AI and medical or...


  • Bergen, Vestland, Norway TN Norway Full time

    Social network you want to login/join with:Associate Professor in History of Art, BergenClient:University of BergenLocation:Job Category:OtherJob Reference:076baa5d28ccJob Views:3Posted:21.03.2025Expiry Date:05.05.2025Job Description:Associate Professor in History of ArtUiB - Knowledge that shapes societyThrough robust and close interaction with the world...


  • Bergen, Vestland, Norway Terry Soot MG Full time

    Job SummaryTerry Soot Management Group is seeking an experienced driver to join our team. As a Field Research Associate, you will be responsible for collecting data on parking areas, including operational hours and payment methods. This information will be used to improve services and decision-making processes.Key ResponsibilitiesVisit designated locations...


  • Bergen, Vestland, Norway 1 stilling Full time

    Researcher position in quantitative media trust research at MediaFuturesArbeidsgiver: Universitetet i BergenStillingstittel: Researcher position in quantitative media trust research at MediaFuturesFrist: 31.03.2025Ansettelsesform: FastUiB - Knowledge that shapes societyThrough robust and close interaction with the world around us – globally, nationally and...