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

About this job

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 31.12.2026. 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 top 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 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. What skills are important in this role? The Faculty of Mathematics and Natural Sciences has a strategic ambition to be among Europe’s leading communities for research, education and innovation. Candidates for these fellowships will be selected in accordance with this, and expected to be in the upper segment of their class with respect to academic credentials. Required qualifications: Master’s degree or equivalent in Computer Science and equivalent fields 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 Desired qualifications: 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 Language requirement: Good oral and written communication skills in English English requirements for applicants from outside of EU/ EEA countries and exemptions from the requirements: https://www.mn.uio.no/english/research/phd/regulations/regulations.html#toc8 Grade requirements: The norm is as follows: The average grade point for courses included in the Bachelor’s degree must be C or better in the Norwegian educational system The average grade point for courses included in the Master’s degree must be B or better in the Norwegian educational system The Master’s thesis must have the grade B or better in the Norwegian educational system For more information see: The purpose of the fellowship is research training leading to the successful completion of a PhD degree. All candidates and projects will have to undergo a check versus national export, sanctions and security regulations. Candidates may be excluded based on these checks. Primary checkpoints are the Export Control regulation, the Sanctions regulation, and the national security regulation. What are we looking for in you? Personal skills: Ability to work structured, creative, independently and in a team Enthusiasm, readiness to learn new knowledge, and ability to take initiative Flexibility, ability to handle pressure and meet deadlines Enjoy the process of scientific communication and writing The candidate should be highly self-driven and able to take responsibility for their own work, including troubleshooting and acquiring additional skills required to reach the project goals You are a person who prefers being present at work and actively contributes to the professional and social environment you are a part of Employment in the position is based on a comprehensive assessment of all qualification requirements applicable to the position, including personal qualifications. We can offer you A pleasant and stimulating work environment Good welfare schemes Opportunity of up to 1.5 hours a week of exerci

This is a short summary. Want to know if you're a fit? Check your CV against this role — free, in 30 seconds.

Similar jobs

• Safety \& Quality Engineer \| Golar LNG · GOLAR MANAGEMENT AS
• Area Chief Engineer, Oslo · SSC RADISSON HOTELS NORWAY
• Software Engineer - Product Engineering · VARNISH SOFTWARE AS
• Procurement Engineer - METTLER TOLEDO Cargoscan · METTLER-TOLEDO CARGOSCAN AS
• Want to shape how a global platform with 4 million users builds with AI? Spond is hiring Software Engineer - AI Agent Platform (apply without a CV or cover letter) · SPOND AS
• Vi søker Software Engineers med interesse for sikkerhet og samfunnskritisk teknologi! · THALES NORWAY AS AVD OSLO