Is the Job related to staff position within a Research Infrastructure? No
Offer Description
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
Where to apply
Website: https://www.jobbnorge.no/en/available-jobs/job/305596/phd-research-fellow-in-formal-methods-and-knowledge-representation-for-engineering-information
Requirements
- Research Field: Computer science
- Education Level: Master Degree or equivalent
Work Location(s)
Number of offers available: 1
Company/Institute: Department of Informatics
Country: Norway
Contact
City: Oslo
Website: https://www.mn.uio.no/ifi/english/index.html
Street: PO box 1072 Blindern
Postal Code: NO-0316
E-Mail: andreapf@ifi.uio.no
