PHD STUDENTSHIP IN COMPUTER SCIENCE VERIFICATION OF CYBER-PHYSICAL SYSTEMS IN UK