2 software-verification PhD positions at NTNU Norwegian University of Science and Technology in Norway
-
on the combination of Reinforcement Learning (RL) and Model Predictive Control (MPC). It will build up upon the work done at ITK on the topic. Several research focuses are considered: verification pathways in RLMPC
-
obtained and documented before starting the position, and no later than autumn 2026. You must have strong modelling and programing skills in software such as Matlab/Simulink, PSCAD, OPAL-RT, etc., relevant
Searches related to software verification
Enter an email to receive alerts for software-verification positions