Postdoc in formal methods for control systems

) as program invariants. Apply and extend tools such as Frama-C, SMT solvers, and theorem provers. Verification... Experience with tools such as Frama-C, SMT solvers, or proof assistants Understanding of program semantics and verification...

Lugar: Toulouse | 25/03/2026 00:03:50 AM | Salario: S/. No Especificado | Empresa: ENAC