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

Ready to Apply?

Take the next step in your AI career. Submit your application to Arbeidsplassen today.

Submit Application