PhD Research Fellow: Formal Methods & Knowledge
For further information please contact Andrea Pferscher
Full-time
Design & Development
Location
oslo, oslo, Norway
Posted
July 24, 2026
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