[bull-ia] Proposition de thèse – Méthodes formelles et Intelligence Artificielle

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