Bonjour tout le monde,
J'ai besoin de vos avis car j'ai deux propositions de thèses. Ma formation est la base Ingénieur+Master en Informatique Industrielle. Je trouve du mal à prendre une décision.
1) thèse en informatique Inria: validation formelle de réseaux de PLCs
Mots clés: validation des systèmes, compilation, programmation parallèle, méthodes formelles, Model Checking.
2) thèse en génie industriel STMicro ( Cifre): 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.
Ma formation est à la base très technique 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,