PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information (ref 305596)

Descrizione

Testo originale dell'annuncio (in inglese)

We invite applications for a PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information at the Department of Informatics. 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 formal, machine-interpretable representations that integrate structural, functional, spatial, and temporal aspects of engineering information. The research will investigate how such integrated representations can support consistency checking, automated reasoning, and the synthesis of behavioural models for dynamic analysis. Particular emphasis will be placed on the development of temporal modelling concepts, knowledge graphs, and formal verification techniques, enabling the automatic synthesis of timed and probabilistic behavioral models for model checking, performance evaluation, and optimization. The overall objective is to establish formal foundations that bridge static engineering descriptions and dynamic behavior, ultimately bridging static system design and dynamic operational analysis. For more information and how to apply: https://www.jobbnorge.no/en/available-jobs/job/305596/phd-research-fellow-in-formal-methods-and-knowledge-representation-for-engineering-information