The University of Oslo invites applications for a PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information at the Department of Informatics, Blindern, Oslo. The starting date is no later than and the fellowship lasts three years.

The research focuses on modelling and analysis of complex industrial systems, with emphasis on temporal modelling, knowledge graphs, and formal verification, bridging static design and dynamic operation.