Stage sur les automates à dimension supérieur - Stage - 6 mois

Sur site
- Evry-Courcouronnes, Île-de-France, France
Réseaux et Internet des objets

Description de l'offre d'emploi

Présentation de Télécom SudParis :

Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les projets d’équipes, l’innovation de rupture et l’entreprenariat. Télécom SudParis compte 1 000 étudiantes et étudiants dont 700 élèves ingénieurs et environ de 150 doctorantes et doctorants. Télécom SudParis fait partie de l’Institut Mines-Télécom, premier groupe d’école d’ingénieurs en France, et partage son campus avec Institut Mines-Télécom Business School. Télécom SudParis est co- fondatrice de l'Institut Polytechnique de Paris (IP Paris), Institut de Sciences et Technologies à vocation mondiale avec l’École polytechnique, l’ENSTA Paris, l’ENSAE Paris, l'ENPC et Télécom Paris. Vidéo présentation de Télécom SudParis

À propos de l'Institut Mines-Télécom :

L'Institut Mines-Télécom (IMT) est un établissement public dédié à l'enseignement supérieur et la recherche pour l'innovation dans les domaines de l'ingénierie et du numérique. À l’écoute permanente du monde économique, l'IMT conjugue une forte légitimité académique et scientifique, une proximité avec les entreprises et un positionnement unique sur les transformations majeures au XXIe siècle : numériques, énergétiques, industrielles et éducatives siècle. Ses activités se déploient au sein des grandes écoles Mines et Télécom sous tutelle du ministre en charge de l’Industrie et des communications électroniques, de deux filiales et de partenaires associés ou sous convention. L'IMT est membre fondateur de l’Alliance Industrie du Futur. Il est doublement labellisé Carnot pour la qualité de sa recherche partenariale.

Vidéo de présentation de l'Institut Mines-Télécom

Missions

Les méthodes formelles sont des techniques mathématiquement rigoureuses pour s'assurer qu'une conception de système répond aux spécifications données. Il existe de nombreux modèles mathématiques, répondant à différents problèmes. Ces dernières années, un formalisme appelé automates de dimension supérieure, qui permet de modéliser une véritable concurrence, a suscité un intérêt considérable et plusieurs avancées majeures dans leur théorie ont été réalisées. Ce stage vise à mettre ces concepts en pratique, plus précisément à utiliser cette approche pour vérifier les réseaux de Petri par model checking. Pour une introduction plus détaillée, voir https://philippschlehubercaissier.github.io/files/stage_HDAPN.pdf

Activités

Acquérir des connaissances de pointe sur les automates à dimension supérieure
Améliorer l'outil prototype, développer de nouveaux algorithmes
Préparer la participation au model checking contest

Pré-requis du poste

Formation

Inscrit dans un parcours M2 informatique (ou équivalent)

Compétences, connaissances et expériences indispensables

Bases des théories des automates et des langages réguliers
C++

Compétences, connaissances et expériences souhaitables

Expérience dans le développement des outils (git, CI)

Capacités et aptitudes

Bon niveau en anglais écrit
Autonomie

Informations complémentaires et candidature

Date limite de candidature : 09/01/2025
Nature du contrat : Stage
Localisation du poste: Evry-Courcouronnes (91)
Les postes offerts au recrutement sont ouverts à toutes et tous avec, sur demande, des aménagements pour les candidats en situation de handicap
Conditions de travail : restaurant et cafétéria sur site, accessibilité en transport en commun (avec participation de l'employeur) ou proche des axes routiers, association du personnel et association sportive sur le campus