PhD Fellowship on robotic verification approved

Our proposal for a 3-year PhD fellowship on “Requirement specification and verification for robotic software” has been officially approved and financed. The student will spend a 6 months training period in Secura Factors.