Publisher
source

University of Oslo

PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information University of Oslo in Norway

Degree Level

PhD

Field of study

Computer Science

Funding

Full funding available

Deadline

Sep 1, 2026

Country flag

Country

Norway

University

University of Oslo

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Theoretical Computer Science
Industrial Engineering
Formal Methods
Knowledge Representation
Mathematical Logic
Model Checking

Suggested positions

About this position

PhD Research Fellow opportunity at the University of Oslo, Department of Informatics (IFI), in Formal Methods and Knowledge Representation for engineering information.

The project focuses on modelling and analysis of complex manufacturing and intralogistics systems, including highly automated factories and warehouses with autonomous components. Research topics include integrated engineering information representations, consistency checking, automated reasoning, knowledge graphs, temporal modelling, formal verification, timed and probabilistic behavioural models, model checking, performance evaluation, and optimization.

Applicants should have a Master’s degree or equivalent in Computer Science or a related field, with a strong background in computer science and mathematics. The ad explicitly seeks candidates with excellent academic preparation in formal methods, logic, theoretical computer science, or related areas, plus demonstrated interest in formal modelling, verification, or knowledge representation. Good English skills are required, and applicants from outside the EU/EEA may need to meet additional English requirements. High grades are expected: bachelor average C or better, master average B or better, and master thesis grade B or better in the Norwegian system.

The fellowship is a paid PhD position for three years, with a possible extension up to four years depending on teaching and other compulsory work. Salary is NOK 550,800–595,000 depending on competence and experience.

Work location is Blindern, Oslo, Norway. Deadline: 1 September 2026. Apply through Jobbnorge with a cover letter, CV, diplomas and transcripts, recommendation letters, English documentation if applicable, publication list, and 2–3 references. Foreign applicants should include an explanation of their grading system and retrieve education results from Vitnemålsportalen if available.

Funding details

Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.

How to apply

Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.

More information can be found here

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?