Offer Description Cyber-physical systems are ubiquitous in our society (automated subways, smartphones, medical devices, etc). These systems must avoid any unforeseen errors (bugs) that could threaten lives, and a formal verification as ... -
Voir cette offre d'emploi