3 software-verification-"https:" PhD positions in Norway

PhD Candidate in Reinforcement Learning and MPC

NTNU Norwegian University of Science and Technology | Norway | 10 days ago

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

PhD-position at the Sapienza University of Rome, Italy (ENDOTRAIN) (DC13)

University of Bergen | Norway | about 1 month ago

will also design and develop new software and prototype models. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence

PhD Candidate in Stability of Modern Power Grids dominated by Inverter-based Resources

NTNU Norwegian University of Science and Technology | Norway | 2 months ago

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