Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Publisher
source

Norwegian University of Life Sciences

Just Landed

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 flag

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

Computer Science
Artificial Intelligence
Formal Methods
Robotics
Runtime Verification
ML

Suggested positions

Publisher
source

Dieter Büchler

Johannes Kepler University Linz

Country flag

Austria

Johannes Kepler University Linz is recruiting two PhD students to join its brand-new Institute for Machine Intelligence in Linz, Austria. The institute is being established as a research environment for advancing robotics and shaping the development of more capable robots. One opening focuses on robot learning , including the invention of new learning methods that can bring advanced robotic systems to life. The second focuses on robot design for robot learning , connecting the design of robotic ...

Computer Science
Artificial Intelligence
Robotics
+1 more

2 days ago

Publisher
source

Liang Zhao

The University of Edinburgh

Country flag

United Kingdom

Liang Zhao is recruiting a Postdoctoral Research Associate in Embodied AI to join his group in the School of Informatics at The University of Edinburgh , United Kingdom. The full-time appointment lasts 24 months and focuses on embodied artificial intelligence, with related research interests in robotics, computer vision, machine learning, and AI. Applicants should hold a PhD or be close to completing one in AI, robotics, computer vision, machine learning, or a related discipline. The salary is £...

Computer Science
Artificial Intelligence
Computer Vision
+2 more

1 week ago

Publisher
source

University of Oslo

Country flag

Norway

PhD Research Fellow in Control Theory and Optimization for Edge Computing at the University of Oslo , Department of Technology Systems, Campus Kjeller, Norway. This is a PhD opening in a project focused on real-time edge computing for control and AI in the maritime domain . The position is linked to the newly established Norwegian Maritime AI Centre and involves collaboration with other PhD candidates, researchers, and industry partners. The research environment emphasizes control theory, real-t...

Computer Science
Electrical Engineering
Mathematics
+7 more

2 weeks ago

Publisher
source

Northeastern University

Country flag

United States

Northeastern University is seeking a Postdoctoral Research Associate to join Professor Francesco Restuccia’s research team in Boston, Massachusetts. The position focuses on theoretical and applied research in resilient artificial intelligence . The successful researcher will investigate cutting-edge topics including adversarial AI and out-of-distribution detection , contributing to the development of robust and dependable AI and machine learning systems. The role provides scientific and technica...

Computer Science
Artificial Intelligence
ML

1 week ago

Publisher
source

University of Central Florida

Country flag

United States

The University of Central Florida’s Department of Computer Science and Institute of Artificial Intelligence are offering fully funded PhD opportunities for Fall 2027. The positions cover open research topics across computer science and artificial intelligence, allowing doctoral students to pursue research aligned with available faculty expertise and project opportunities. The doctoral programme includes opportunities supported by fellowships, Graduate Teaching Assistantships, and Graduate Resear...

Computer Science
Artificial Intelligence
ML

1 week ago

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.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.