Post-doc application of formal methods for interferences management H/F
architecture description languages (HDL) Formal methods: formal specification language, model-checking environment, SMT solvers...
Lugar: Essonne | 22/06/2024 02:06:08 AM | Salario: S/. No Especificado | Empresa: Commissariat à l'Énergie Atomique