Postdoc in formal methods for control systems

, integrating modeling, proof generation, and code-level validation. Core Research activities Formal verification of control... for combined modeling, code generation, and verification. Integrate verification techniques across multiple abstraction levels...

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