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,