Job Description

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.

#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to For further information please contact Andrea Pferscher today.

Submit Application