Bonjour,
Nous sommes à la recherche d’un candidat pour une thèse en IA sur le thème :
VÉRIFICATION ET ÉVALUATION DE FONCTIONS INTÉGRANT DE L’IA POUR L’OPÉRATION DES TRAINS AUTONOMES [ LIEN ]
Dans cette thèse, nous nous intéressons à l’évaluation et la vérification (formelle) des applications intégrant des techniques de l’Intelligence Artificielle dans le contexte des systèmes autonomes (train autonome).
Encadrement :
Mohamed GHAZEL, directeur de recherche – HDR, IFSTTAR, ESTAS – Lille
Abderraouf BOUSSIF, ingénieur –chercheur, Railenium, Lille.
Pourriez-vous diffuser ce sujet de thèse à vos étudiants !
Cordialement,
—
Abderraouf Boussif
Ingénieur –chercheur – Railenium
———————————————————————
Desinscription: envoyez un message a: bull-ia-unsubscribe@gdria.fr
Pour obtenir de l’aide, ecrivez a: bull-ia-help@gdria.fr