PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information

PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information

University of Oslo – Department of Informatics.

Starting date no later than . Fellowship period of three years, extendable to up to four years for teaching and supervisory duties. No repeat appointments.

Job description

Develop formal methods and knowledge representation techniques for modelling and analysing complex manufacturing and intralogistics systems, such as highly automated factories and warehouses with autonomous components. Address the lack of formal, machine‑interpretable representations that integrate structural, functional, spatial, and temporal aspects of engineering information. Investigate integrated representations that support consistency checking, automated reasoning, and synthesis of behavioural models for dynamic analysis, including temporal modelling concepts, knowledge graphs, and formal verification techniques for timed and p...