Logo LAAS-Carnot

Offres de recrutement et d’emploi au LAAS BOREAL 1.1.1

Thème Equipe Titre Contacts LAAS Mots-clés Diplôme Référence Détails
IC TSF Conception et développement d’un outil de synthèse de règles de sécurité... J.GUIOCHET, H.WAESELYNCK, K.CABRERA CASTILLOS Sureté de fonctionnement, safety monitoring, Robotique , model-checking, Développement Informatique Master ou Ingénieur STA418
IC, ROB RIS, VERTICS Un exécuteur fidèle pour GenoM... B.BERTHOMIEU, F.INGRAND, F.VERNADAT, S.DAL ZILIO, P.HLADIK, M.FOUGHALI vérification formelle, Robotique autonome, Ingénierie système Master ou Ingénieur STA408
IC, ROB RIS, VERTICS Langage de propriétés pour GenoM... B.BERTHOMIEU, F.INGRAND, F.VERNADAT, S.DAL ZILIO, M.FOUGHALI vérification temporelle, vérification formelle, Robotique, logiques temporelles Master ou Ingénieur STA409
IC VERTICS Exécution temporellement fidèle de protocoles virtuels... B.BERTHOMIEU, F.VERNADAT, S.DAL ZILIO vérification formelle, logiciel temps réel, Génération de code automatique M STA453