Stage sur les automates pondérés - 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

La théorie des automates est une pierre angulaire de nombreuses approches pour la vérification formelle et de l'informatique fondamentale en général. Il existe un grand nombre de sous-catégories d'automates, mais dans le cadre de ce stage, nous nous intéressons particulièrement aux ω-automates pondérés avec des bornes. Il s'agit d'automates qui traitent des mots infinis avec des transitions pondérées. De plus, seule une certaine quantité du poids, souvent interprétée comme de l'énergie, peut être stockée pendant l'exécution. Cela augmente l'expressivité du modèle, mais au prix d'une étape de vérification plus complexe. L'objectif de ce stage est d'améliorer notre prototype d'implémentation et de continuer à développer la théorie et à étendre le formalisme. Pour une description plus détaillée, veuillez consulter https://philippschlehubercaissier.github.io/files/stage_wwa.pdf

Activités

Acquérir des connaissances de pointe sur les automates pondérés
Améliorer l'outil prototype, développer de nouveaux algorithmes
Étendre la théorie aux poids multivalués

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++ et / ou Python

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