Bonjour,
Je vous contacte pour demander votre avis concernant ma recherche de thèse de doctorat. J'ai deux propositions:
1) thèse en informatique: vérification formelle de réseau de PLCs.
Mots clés: validation des systèmes, compilation, programmation parallèle, méthodes formelles, Model Checking.
Lieu: Inria (public)
2) thèse en génie industriel: outils d’aide à la décision dans un contexte à forte complexité
* Optimiser la gestion globale de la ligne et de la supply-chain ST,
* Maximiser la performance industrielle de l’outil de production,
* Améliorer le service client en termes de délais et de qualité des produits.
Mots clés: Operational Research, Industrial Engineering, Discrete Event Simulation, Statistical Analysis, Queuing Theory
Lieu: STMicro (cifre)
J'envisage à l'issu de ma thèse de doctorat de travailler dans le privé d'un docteur en génie industriel/ Supply Chain Management en Tunisie.
De même, ma formation est à la base très technique( Informatique , electronique) et je ne peux pas juger la pertinence du second sujet.C'est pourquoi je vous sollicite pour m'aider à prendre la bonne décision.
Je vous remercie par avance,
Bien cordialement,
-----