An exciting PhD position is available in Formal Methods within the research group at the University of Oslo. The project focuses on the automatic synthesis of timed and probabilistic behavioral models for verification, performance evaluation, and optimization. Research will start from knowledge representation systems for automated factories and warehouses, particularly those with autonomous components such as automated guided vehicles (AGVs). The position is supervised by Andrea Pferscher and Arild Waaler, both affiliated with the University of Oslo in Norway.

This opportunity is ideal for candidates interested in formal methods, industrial engineering, and the application of computer science to real-world automation and optimization problems. The research will contribute to the development of advanced techniques for modeling and verifying complex systems in industrial environments.

Applicants should have a strong background in computer science, formal methods, or related fields. Experience with knowledge representation, behavioral models, or industrial engineering applications is desirable. Good programming skills and proficiency in English are expected. The application deadline is March 1st, 2026. For more information and to apply, visit the official job posting on the University of Oslo's job portal.

Keywords: Formal Methods, Industrial Engineering, Automatic Synthesis, Behavioral Models, Verification, Performance Evaluation, Optimization, Knowledge Representation, Automated Factories, Autonomous Components, Automated Guided Vehicles.