Empleos de CtlEmpleos de Ctl - Trabajos de Ctl - Contrato: Training

STAGE 2027 Formalisation pour la spécification et l’architecture logicielle

temporelle ( LTL, CTL) si possible, notions de modélisation en langages formels fonctionnels à types dépendants (Rocq, Lean...