PhD scholarship within Predictive Runtime Verification of AI-enabled Robotic Autonomous Systems

PhD scholarship within Predictive Runtime Verification of AI-enabled Robotic Autonomous Systems

PhD position in Safe AI for Robotic Autonomous Systems

Competence

Required qualifications

• A Master's degree or equivalent in Robotics, Computer Science, Cybernetics, Formal Methods, Applied Mathematics, or a closely related field. Foreign degrees must correspond with the admission criteria for the PhD program. Candidates submitting M.Sc. thesis within the application deadline may be considered.
• In the Master’s degree, both the average grade point and the Master’s thesis, must be B or better in the Norwegian educational system. Applicants who have recently graduated with excellent results may be given preference.
• Proficiency in both written and oral English in correspondence with the admission criteria for the PhD program.
• Solid knowledge and background in at least two of the following fields: Formal Methods / Runtime Verification, AI / Machine Learning, Autonomous Systems / Control, or Software Development for Robotics (e.g., ROS/ROS 2).
• Strong programming skills (Python, C++, etc.)
• The successful candidate must be eligible for security clearance at a minimum level of "Secret" and any licences or approvals required under Norwegian export control legislation
• Personal suitability and motivation for the position.

Qualifications considered an advantage

• Experience with formal verification, model-checking, runtime monitoring, and/or temporal logic synthesis.
• Experience with AI models, Large Language Models (LLMs), or reinforcement learning integrated into robotic control loops.
• Experience with safety assurance, risk analysis, adaptive systems, or research involving real-world autonomous applications.
• Practical experience working with physical mobile robotic hardware, sensors, and simulation environments.
• Previous research and peer-reviewed publications within these domains.

Personal qualities

• Be curios, result-oriented and highly motivated
• Possess strong communication and cooperation skills
• Have a solid interest in robotics
• Good collaboration skills and an ability to join interdisciplinary academic/industrial communities