Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Norwegian University of Life Sciences
Just Landed
2 days ago
PhD Scholarship in Safe AI and Predictive Runtime Verification for Robotic Autonomous Systems Norwegian University of Life Sciences in Norway
Degree Level
PhD
Field of study
Computer Science
Funding
A funded, full-time PhD Research Fellow position for three years. The salary is NOK 550,800 for position code 1017, with a higher salary potentially available for exceptionally well-qualified candidates. The position is funded through the Research Council of Norway's PREVAIL project. Admission to an NMBU PhD programme is required for appointment.
Deadline
Dec 1, 2026
Country
Norway
University
Norwegian University of Life Sciences
Apply for this position
Free with an ApplyKite account: the application link, the deadline in your tracker and a check of your fit.
Keywords
Suggested positions
About this position
The Norwegian University of Life Sciences (NMBU) invites applications for a PhD position in Safe AI for Robotic Autonomous Systems within the university’s Robotics Group at the Faculty of Science and Technology (REALTEK) in Ås, Norway.
The doctoral research is part of PREVAIL—Predictive Runtime Verification of AI-enabled Systems—an initiative funded by the Research Council of Norway. The project addresses the safety, uncertainty, accountability, and runtime-assurance challenges created by artificial intelligence and large language models in autonomous robots operating in complex, dynamic, safety-critical, and potentially hostile environments.
The selected researcher will develop context-aware Predictive Runtime Verification frameworks and adaptive monitors that can anticipate anomalies or failures before they occur. The work will combine formal methods, runtime verification, artificial intelligence, autonomous systems, control, and robotics software. Research activities include designing algorithms and formal methodologies, developing AI-enhanced monitor synthesis tools, and integrating verification with adaptive risk mitigation, failure avoidance, and real-time replanning.
The PhD candidate will also undertake early-stage prototyping and software implementation, including work with ROS 2, and test methods on robotic platforms in defence-relevant environments and scenarios. The position includes mandatory doctoral coursework and seminars, scientific publication in international conferences and peer-reviewed journals, and a research stay at the Norwegian Defence University College, which is a strategic partner and co-supervisor institution for the project.
The research environment offers collaboration with international academic partners including Académie Militaire de Saint-Cyr Coëtquidan in France, the University of York in the United Kingdom, and KTH Royal Institute of Technology in Stockholm. The candidate may benefit from research interaction and extended visits with internationally recognized researchers and institutes. The position is based at NMBU’s REALTEK faculty in Ås, approximately 30 km from Oslo, with daily physical presence expected.
The main supervisor is Associate Professor David Anisi. The project connects formal verification and AI with practical autonomous robotics, defence-oriented safety assurance, and dependable real-time operation.
Funding details
A funded, full-time PhD Research Fellow position for three years. The salary is NOK 550,800 for position code 1017, with a higher salary potentially available for exceptionally well-qualified candidates. The position is funded through the Research Council of Norway's PREVAIL project. Admission to an NMBU PhD programme is required for appointment.
What's required
A Master's degree or equivalent in Robotics, Computer Science, Cybernetics, Formal Methods, Applied Mathematics, or a closely related field; candidates submitting an M.Sc. thesis by the deadline may be considered. Both the average grade and Master's thesis must be B or better in the Norwegian grading system, although recently graduated candidates with excellent results may receive preference. Applicants must demonstrate written and oral English proficiency according to the NMBU PhD admission criteria, solid knowledge in at least two of Formal Methods/Runtime Verification, AI/Machine Learning, Autonomous Systems/Control, or robotics software development such as ROS/ROS 2, and strong programming skills in Python, C++ or similar languages. Eligibility for security clearance at minimum Secret level and any required Norwegian export-control licences or approvals is mandatory. Preferred qualifications include formal verification, model checking, runtime monitoring, temporal-logic synthesis, AI/LLM or reinforcement-learning integration with robotic control, safety assurance, risk analysis, adaptive systems, physical mobile robotics, sensors, simulation, and relevant peer-reviewed publications. Motivation, personal suitability, communication, collaboration, and interest in robotics are also required.
How to apply
Apply electronically through the “Apply for this job” link on the Jobbnorge advertisement and register or log in to the recruitment system. Complete the Jobbnorge CV form and upload a motivation letter, CV, certified diplomas and certificates, English-proficiency documentation, and any relevant professional or publication documentation.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the university.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the university.