PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information
For further information please contact Andrea Pferscher
📍 oslo, oslo, Norway
Job Description
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 .
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 to 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 fun...