PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information
Job Description
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...