PhD Research Fellow: Formal Methods for Engineering Info
Arbeidsplassen
Full-time
Design & Development
Location
oslo, oslo, Norway
Posted
July 13, 2026
Job Description
University of Oslo invites applications for a PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information. The position runs for three years with possible extension for teaching and supervisory duties, starting no later than 31 December 2026.
It focuses on modelling complex manufacturing and intralogistics systems using formal representations and verification techniques. The successful candidate will contribute to research on integrated representations,
#J-18808-Ljbffr