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

This PhD project focuses on developing formal methods and knowledge representation techniques for modeling and analyzing complex manufacturing and intralogistics systems. It addresses the challenge of integrating various aspects of engineering information into formal, machine-interpretable representations. The research will support consistency checking, automated reasoning, and the synthesis of behavioral models for dynamic analysis, emphasizing temporal modeling concepts and formal verification techniques.