, algorithms, and techniques for formal verification of
hardware, software and safety critical systems, contributing to Calypto... is a plus. Understanding of formal verification of
hardware/software Mathematical/analytical abilities Compilers High-level/behavioral... -
Voir cette offre d'emploi