Logo LAAS-Carnot

Job opportunities at LAAS BOREAL 1.1.1

Theme Team Title LAAS contacts Keywords Certificate Reference Detail
IC TSF Safety monitor synthesis for autonomous robots... H.WAESELYNCK, L.MASSON, K.CABRERA CASTILLOS, J.GUIOCHET sûreté de fonctionnement, safety monitoring, Robotique autonome, model-checking, Informatique Master ou Ingénieur STA501