PhD Research Fellow: Formal Methods & Knowledge

For further information please contact Andrea Pferscher; Oslo; On-site; NOK 550,800 - 595,000; Full time

Benefits offered by this job

Salary progression with pension plan

Job summary

The University of Oslo invites applications for a PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information at the Department of Informatics, Blindern, Oslo. The starting date is no later than 31.12.2026 and the fellowship lasts three years.

The research focuses on modelling and analysis of complex industrial systems, with emphasis on temporal modelling, knowledge graphs, and formal verification, bridging static design and dynamic operation.

Qualifications

• Master’s degree or equivalent in Computer Science or related field.
• Foreign completed degree (M.Sc.-level) corresponding to a minimum of four years in the Norwegian educational system
• Fluent oral and written communication skills in English
• Excellent academic background in formal methods, logic, theoretical computer science, or related areas
• Strong background in computer science and mathematics
• Demonstrated interest in formal modelling, verification, or knowledge representation
• Experience with formal specification and modelling
• Experience with formal verification
• Experience with software engineering and software technology
• Experience with scientific publication and conducting research
• Experience with teamwork
• Interest in mathematics and natural science
• Experience with industrial systems

Responsibilities

• Develop formal methods and knowledge representation for modelling and analysis of manufacturing and intralogistics systems.
• Investigate integrated representations for static and dynamic engineering information.
• Explore temporal modelling concepts, knowledge graphs, and formal verification techniques.
• Enable automatic synthesis of timed and probabilistic behavioural models for model checking and optimization.
• Bridge static designs and dynamic operational analysis.

Skills

Formal modelling

Verification

Knowledge representation

Teamwork

Structured work

Education

Master’s degree in Computer Science or related

Four-year foreign degree (M.Sc.-level)

Job description

The University of Oslo invites applications for a PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information at the Department of Informatics, Blindern, Oslo. The starting date is no later than 31.12.2026 and the fellowship lasts three years.

The research focuses on modelling and analysis of complex industrial systems, with emphasis on temporal modelling, knowledge graphs, and formal verification, bridging static design and dynamic operation.