Følg os på:      

In collaboration with the research group for Process Intelligence, Modelling and Optimisation at the IT University of Copenhagen, Denmark, we look for an industrial post doc researcher (2.5 years) in formal models and verification.

The post doc will work on the inter-disciplinary Grand Solutions research project Effective, Co-created & Compliant Adaptive Case Management for Knowledge Workers (EcoKnow) funded by the Innovation Fund Denmark and involving IT University of Copenhagen, Copenhagen University and Danish Technical University and several industrial and governmental partners. The post doc will work in particular on formal methods for compliance rule modelling, monitoring & verification for Adaptive Case Management systems.


The goal of the EcoKnow project is to develop world-leading solutions for the effective digitalisation of knowledge work processes that empower case workers and citizens to plan evidence-based optimal process flows for the individual case guaranteeing both efficiency and compliancy with the law. The post doc will be a key member of one of the two technical work packages of EcoKnow, with focus on research and evelopment of tools for adaptive modelling, monitoring and validation of compliance rules. The work package will in particular focus on the formalisation of danish law regulating case work in danish municipalities as so-called hybrid process models combining declarative models (DCRgraphs.com) describing the law with imperative flow graphs (e.g. Petri Nets and BPMN) and single paths describing example (best practice) practices or real practices obtained from process mining tools developed by a post doc employed in the other technical work package of EcoKnow.

A key technical feature will be to ensure forward and backward (round-trip) traceability between law texts and their formalisation and perform dynamic compliance verification between the different representations (declarative models, imperative flow graphs, single paths) when any of the models are adapted. A programmer employed at the project will support making the technology available as open source reference implementations, the university supervisor will assist making research tools available at dcr.tools and the industry supervisor and programmers at Exformatics A/S will support integrating the technology in the dcrgraphs.com commercial software-as-a-service (SaaS) offering.

Exformatics A/S has since 2011 developed and matured the Dynamic Condition Response (DCR) graphs notation for adaptive case management processes jointly with the PRIMO research group headed by Thomas Hildebrandt. The DCR notation is public and supported by a design and analysis tool, DCRgraphs.net free for educational use and marketed by Exformatics as a cloud SaaS solution, with Syddjurs Municipality being the first customer. The post doc will be employed at Exformatics A/S and be affiliated to the PRIMO research group at IT University as industrial post doc researcher.

The postdoc will work 80% on the research project and 20% on other tasks at Exformatics A/S. The salary will be at the level of the standard salary and pension of a post doctoral researcher at a Danish university. Physically, the post doc will be expected on average to work three days a week at Exformatics and two days a week at IT University of Copenhagen. There will be no teaching obligations but the post doc will be offered relevant teaching tasks to be able to prepare for a possible future career in academia

The postdoc is expected to interact and interface with other parts of the project. In particular, the post doc is expected to contribute centrally to the following topics:

• The development and advancement of the adaptive hybrid compliance rule modelling,       
   monitoring & verification technologies

• Assisting technology transfer to Exformatics A/S

• Assisting live tests at Syddjurs Municipality and understandability tests performed by a PhD     student employed at the project under the supervision of Barbara Weber at Danish Technical     University (ITU).


A post doc with a PhD degree in Computer Science (or an equivalent qualification). The candidate should be enthusiastic, and have a thorough theoretical background in process modelling and analysis, preferably declarative modelling, and have some experience with implementation work. It is understood that the succesful candidate will work on the topics listed above, in close collaboration with Associate Professor Søren Debois (ITU), and Exformatics CEO Morten Marquard, with co-supervision from Associate Professor, Marisa Cohn and Thomas Hildebrandt (ITU).

The candidate is also expected to collaborate with professor David Basin, ETH Zurich on run-time policy monitoring and have a 3 month funded stay at ETH Zurich. The candidate will further be expected to be able to read danish and collaborate efficiently with diverse industry partners, including Danish municipalities and the Danish State Attorney.


January 15th, 2018 or as soon as possible thereafter.


PRIMO group: https://primo.wikit.itu.dk/home


• Exformatics A/S Dag Hammarskjölds Allé 13 2100 København Ø

• IT University of Copenhagen Rued Langgaards Vej 7 2300 Copenhagen S


Please submit your application as soon as possible and before December 7th. by mail to ip@exformatics.com

Your application should consist of:

• A cover letter (explain your specific interest and qualifications)

• A full Curriculum Vitae, including a list of all publications and a short description of your     
   PhD thesis

• References (contact information) of two scientific staff members


We look forward to receiving your application!

Download job advert as PDF HERE