PhD in Knowledge Representation

Position as PhD Research Fellow in formal methods and knowledge representation available at Department of Informatics./nThe fellowship period is three years./nDepending 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 to four years./nStarting date no later than October 1, 2026./nPlace of work is the Department of Informatics at Blindern, Oslo./nThis position is funded by the Department of Informatics and will be based in the Reliable Systems (PSY) group./nThe PhD project focuses on developing a model-based and knowledge-driven framework for the analysis of complex manufacturing and intralogistics systems.