Post-doctoral Fellow Position in Computer Science on Formal Methods and Model-driven Software Engineering

Deadline: November 26, 2018

Western Norway University of Applied Sciences

On January 1st, 2017, Bergen University College, Sogn og Fjordane University College and Stord/Haugesund University College merged to form Western Norway University of Applied Sciences.

With about 16,000 students, is one of the largest higher education institutions in Norway. A broad range of academic programmes are offered at Bachelor, Master and PhD levels.

Our ambition is to build stronger and more solid academic and research environments that will interact nationally and internationally. The aim is to become a recognized actor on the international higher education arena. Increased international cooperation and engagement in externally funded projects will work towards this goal.

Western Norway University of Applied Sciences (HVL), Faculty of Engineering and Natural Sciences has an open position as a post-doctoral researcher for two years.

The post-doctoral position is linked to the EU Horizon 2020 project COEMS - Continuous Observation of Embedded Multicore Systems ( which concentrates on run-time verification and testing of software in industrial automation. HVL is partner in the COEMS project together with five academic and industrial partners, including Airbus and Thales. The post-doctoral researcher will also be more broadly involved in ongoing research efforts within model-driven software engineering, automated code generation, software testing and verification for industrial automation and control systems.

Research environment

The researcher will be affiliated with the strategic research programme in computer science at HVL ( which spans the areas of software engineering, sensor networks, communication systems, machine learning, and engineering computing. The research programme currently includes 20 professors and associate professors, two post-doctoral researchers, 15 PhD students, and a large number of master’s students. The computer science research environment at HVL has a strong focus on use-inspired and applied research, and on ICT as an enabling technology. The research environment has cooperation with many national and international research groups, and with national and regional industry partners.

Responsibilities and duties

The post-doctoral researcher will be involved in the COEMS project and in addition undertake research, prototyping and software development in collaboration with permanent staff members, post-doctoral researchers, and PhD students. The post-doctoral researcher may have some minor teaching and supervision duties ( if desire) in relation to the PhD programme in computer science offered by the Faculty. The successful applicant is also expected to contribute to project management, and the development of joint project applications for external funding in collaboration with the permanent research staff members.


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. In the latter case, it is required that the PhD degree be awarded within 4 weeks after the application deadline.

The scientific profile must cover one or more of the following areas:

  • Static analysis for concurrency issues, refactoring support, and software quality
  • Specification and monitor synthesis methods for runtime verification
  • Formal modelling languages for concurrent and distributed systems such as (Coloured) Petri Nets, timed automata, and Promela
  • Model-driven engineering for embedded systems and automation software;
  • Application of software verification and testing in model-driven engineering;
  • Practical use of software tools for model-driven engineering and verification;
  • Software- and analysis development in Go and C++ with the LLVM-compiler framework.

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

  • Publication track record and quality of publications
  • Quality and relevance of the PhD thesis
  • Ability to work in the intersection of theoretical and applied research
  • Experience with the writing of funding applications
  • Practical software engineering skills and experience from industrial collaboration

Applicants will also be evaluated against their prospective starting date, capacity for dissemination, their ability to collaborate, as well as their potential for establishing relevant national and international research contacts. Short-listed candidates might be required to give a lecture, in addition to an interview.

Application procedure

Applications will be evaluated by an expert panel of three members. Applicants are asked to submit their application and CV online. Please use the link “Apply for this job” (“Søk stillingen”). The following documentation should be uploaded as an attachment to the online application:

  • Copies of selected academic publications (no more than 15)
  • CV with a complete list of academic publications
  • Diplomas and certificates

Applicants should indicate which publications or parts of publications should be given special consideration in the evaluation. If the documents submitted are not in a Scandinavian language or in English, the applicants must submit certified translations of these.

Applicants should note that the evaluation will be based on the documentation submitted electronically via Jobbnorge within the submission deadline. The applicants are responsible for ensuring that all the documentation is submitted before the closing date. It is of utmost importance that all publications to be considered in the evaluation are uploaded as an attachment with the application, since these are sent electronically to the expert panel. Applications cannot be sent by e-mail or to individuals at the college.


The position is remunerated at code Postdoctoral fellow position. A 2 % compulsory pension contribution to the Norwegian Public Service Pension Fund is deducted.

General information

The appointment will be made in accordance with the regulations for State Employees and Civil Servants in Norway. Organizational changes and changes in the duties and responsibilities associated with the position must be expected.

State employment shall reflect the multiplicity of the population at large to the highest possible degree. Western Norway University of Applied Sciences Bergen has therefore adopted a personnel policy objective to ensure that we achieve a balanced age and sex composition and the recruitment of persons of various ethnic backgrounds.

Information about the applicant may be made public even though the applicant has requested not to be named in the list of applicants. The applicant will be notified if his/her request is not respected.


Apply for this job