Ahmed Guadri
Ingénieur chercheur, laboratoire InESS
Ingénieur en informatique, j'ai été sélectionné pour effectuer ma dernière année en double diplômation avec l'École Centrale me permettant ainsi d'allier à mes connaissances de base des compétences additionnelles en automatique. Ayant soutenu ma thèse de doctorat récemment, Je réalise actuellement des travaux de recherche et de développement de méthodes pour la conception assistées par ordinateur pour les systèmes complexes.
Mon objectif est d'intégrer un groupe de haute technologie et en milieu international en tant qu'ingénieur de recherche en automatique, informatique et informatique industrielle qui me permettrait d'utiliser la totalité des savoirs que j'ai accumulé.
•Proposition et développement de méthodes pour la vérification et synthèse de solutions formelles pour la conception des systèmes complexes (C++, Qt, techniques de calcul par intervalles).
•Détection et analyse de problèmes de simulation en temps réel (VHDL-AMS).
