PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information

About the position We invite applications for a PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information at the Department of Informatics. Starting date no later than 31.12.2026. The fellowship period is three years. Depending on the candidate and the teaching needs of the department, the fellowship period can be extended either for compulsory work consisting of e.g., teaching and supervision duties and research assistance up top four years. No one can be appointed for more than one PhD Research Fellowship period at the University of Oslo. Place of work is Department of Informatics at Blindern, Oslo. Job description This PhD project focuses on developing formal methods and knowledge representation techniques for the modelling and analysis of complex manufacturing and intralogistics systems, such as highly automated factories and warehouses with autonomous components. It addresses a fundamental challenge in industrial digitalization: the lack of for