Doctorant (H/F) en informatique fondamentale

CNRS; Provence-Alpes-Côte d'Azur; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Le CNRS recherche un Doctorant en informatique fondamentale pour un CDD de 3 ans, à Marseille. La recherche portera sur l'apprentissage approximatif et l'étude des transducteurs, contribuant substantiellement à la théorie de la vérification de code.

Qualifications

• Diplôme de niveau Master requis.
• Connaissances sur les transducteurs et la vérification d'équivalence.

Responsabilités

• Étudier des modèles mathématiques pour les transducteurs.
• Développer des algorithmes d'apprentissage efficaces.

Formation

Niveau 7 Master/diplômes équivalents

Description du poste

Doctorant (H/F) en informatique fondamentale

Partager la page

Veuillez pour partager sur Facebook, Twitter et LinkedIn.

• Fonction publique : Fonction publique de l'État
• Employeur : Centre national de la recherche scientifique (CNRS)
• Localisation : 13288 MARSEILLE 09 (France)
• Nature de l’emploi Emploi ouvert uniquement aux contractuels
• Nature du contrat

  CDD de 3 ans

• Expérience souhaitée Non renseigné
Rémunération Fourchette indicative pour les contractuels La rémunération est d'un minimum de 2200,00 € mensuel€ brut/an Fourchette indicative pour les fonctionnaires Non renseignée
• Catégorie Catégorie A (cadre)
• Management Non renseigné
• Télétravail possible Non renseigné

Sujet de thèse :
Titre : Calcul de distances entre modèles de transducteurs et application à l’apprentissage approximatif de fonctions et relations sur les mots.
Encadrants : C. Aiswarya et Benjamin Monmege
Les transductions texte-à-texte sont un objet fondamental du calcul, apparaissant dans des applications telles que la traduction de code à code, le prétraitement de texte ou les transformations syntaxiques. Leurs modèles mathématiques formels, appelés transducteurs à états finis (FSTs), étendent les automates finis en associant des chaînes d’entrée à des chaînes de sortie. Les principales questions théoriques dans ce domaine incluent l’équivalence fonctionnelle (déterminer si deux transducteurs définissent la même transformation) et la vérification de type (s’assurer qu’une transduction préserve l’appartenance à un langage formel). Ces problèmes sont particulièrement pertinents en vérification de logiciels, où il est essentiel de garantir qu’une transformation de code préserve ses propriétés syntaxiques et sémantiques.
Cependant, la vérification d’équivalence exacte est difficile d’un point de vue algorithmique, voire indécidable dans de nombreux cas, ce qui motive le recours à des formes affaiblies ou approximatives d’équivalence. Dans cette thèse, nous proposons d’étudier en profondeur une relaxation de l’équivalence fonctionnelle appelée k-équivalence, où deux transducteurs sont dits équivalents si leurs sorties peuvent être converties l’une en l’autre avec au plus k modifications, en s’inspirant de la célèbre distance d’édition. Des résultats préliminaires ont été obtenus [1] sur cette notion pour les transducteurs mot-à-mot. Notre objectif est d’examiner les propriétés théoriques de cette notion sur des formes plus générales de transducteurs, comme les transducteurs associant à des mots hiérarchiques un mot (appelés transducteurs visibly pushdown [2]), les transducteurs sur mots à hiérarchies multiples pour modéliser des systèmes à piles multiples, ou encore les transducteurs sur mots de données [8]. Nous visons également à développer des algorithmes d’apprentissage efficaces pour ces transducteurs sous k-équivalence en utilisant le cadre de Angluin L* [3], d’abord pour les transducteurs mot-à-mot, mais aussi dans des généralisations comme les mots de données [7]. Nous faisons l’hypothèse que permettre de petites erreurs dans le processus d’apprentissage pourrait mener à des modèles plus compacts et mieux généralisables.
Plusieurs travaux ont étudié la vérification d’équivalence et l’apprentissage de modèles à états finis. Le travail fondateur d’Angluin sur l’apprentissage actif [3] constitue la base de l’apprentissage d’automates finis à partir de requêtes. Plus récemment, des progrès en apprentissage approximatif ont été réalisés sur les automates probabilistes et la recherche de chaînes robustes aux erreurs [6]. La complexité de la vérification d’équivalence exacte pour différentes cla
Voir plus sur le site emploi.cnrs.fr...

Profil recherché

Contraintes et risques :



Niveau d'études minimum requis

• Niveau Niveau 7 Master/diplômes équivalents

C’est l’une des plus importantes institutions publiques au monde : 33 000 femmes et hommes (dont plus de 16000 chercheurs et plus de 16000 ingénieurs et techniciens), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines.

Des offres d'emplois recommandées pour vous

• Fonction publique : Fonction publique de l'État
• Employeur : Ecole Nationale Supérieure d'Arts et Métiers (ENSAM)
• Fonction publique : Fonction publique de l'État
• Fonction publique : Fonction publique de l'État
• Fonction publique : Fonction publique de l'État
• Fonction publique : Fonction publique de l'État
• Fonction publique : Fonction publique de l'État