Doctorant contractuel enseignant / Doctorante contractuelle ensei (H/F)
SCES COMMUNS IMT BUSINESS SCHOOL TELECOM · 91 - Palaiseau
SC
SCES COMMUNS IMT BUSINESS SCHOOL TELECOM
Description du poste
- Mener des travaux de recherche sur l'identification d'état et la détection des conditions de compétition dans les systèmes temps réel
- Participer activement et régulièrement aux réunions de l'équipe de recherche.
- Collaborer avec les membres de l'équipe à la conduite des travaux scientifiques.
- Modéliser des systèmes de réseaux distribués à l'aide d'automates temporisés (Timed Automata) et de machines à états finis temporisées (Timed Finite State Machines).
- Spécifier et vérifier des propriétés temporelles, notamment les conditions de compétition, à l'aide de solveurs et d'outils de vérification formelle tels qu'UPPAAL.
- Mettre en œuvre et évaluer des méthodes existantes de génération de séquences d'identification d'état pour les automates temporisés et les machines à états finis temporisées, notamment les séquences de synchronisation (synchronizing sequences), de détermination de l'état initial (homing sequences) et de distinction (distinguishing sequences).
- Exploiter des techniques telles que les arbres de successeurs et les méthodes d'abstraction pour dériver des séquences d'identification d'état.
- Concevoir de nouvelles stratégies d'identification d'état et de détection des conditions de compétition.
- Réaliser des expérimentations, analyser les résultats et évaluer les performances des méthodes développées.
- Valoriser et diffuser les résultats de recherche
- Rédiger des articles scientifiques et contribuer à leur publication dans des revues et conférences internationales.
- Présenter les résultats des travaux lors de conférences, séminaires, colloques et autres manifestations scientifiques.
- Participer aux échanges scientifiques et contribuer à la diffusion des connaissances au sein de la communauté de recherche.
- Contribuer aux activités d'enseignement et d'encadrement
- Participer à l'encadrement des étudiants dans le cadre de projets de recherche, de travaux pratiques ou de projets académiques.
- Contribuer aux activités d'enseignement en lien avec les domaines scientifiques du projet.
Détails de l'offre
Lieu
91 - Palaiseau
Contrat
CDD - 3 Mois
Rémunération
Mensuel de 3450.0 Euros à 40000.0 Euros
Expérience
Débutant accepté
Publié
Offre initialement publiée sur France Travail. Voir l'annonce d'origine · Cette offre est la vôtre ?
SC
SCES COMMUNS IMT BUSINESS SCHOOL TELECOM
Formation
Lieu
91 - Palaiseau
Contrat
CDD - 3 Mois
Rémunération
Mensuel de 3450.0 Euros à 40000.0 Euros
Expérience
Débutant accepté
Publié
Offres similaires