Faculty position
Research Engineer positions available
Postdoc positions available
- Définition d’un formalisme pour exprimer les propriétés temporelles d’un système cyber-physique in French
- Estimation de traversabilité pour le robot ARU in French
PhD positions available
- Développement d’un moniteur in French
- Riskaware control synthesis for temporal logic specification with safety guarantees