Sort by
Refine Your Search
-
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
-
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
-
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