Doctorant F/H Interprétation Abstraite pour WebAssembly

Inria; Paris; Hybride; EUR 21 000 - 26 000; Plein temps

Avantages offerts par ce poste

Restauration subventionnée

Transports publics remboursés

Congés: 7 semaines + RTT

Télétravail possible

Équipements professionnels

Prestations sociales culturelles etスポ

Résumé du poste

Inria recrute un doctorant F/H pour une thèse en interprétation abstraite appliquée à WebAssembly. Le candidat préparera un doctorat et participera à des activités de recherche, bibliographie et publication.

Diplôme exigé Bac+5 ou équivalent; prise de fonction souhaitée le 1er octobre 2026. Contrat de 3 ans, possibilité de télétravail et aménagement du temps de travail, avec des prestations sociales associées.

Qualifications

• Niveau requis : Bac + 5 ou équivalent.
• Compétences en travail de recherche et publication.
• Connaissances en ingénierie logicielle et vérification.

Responsabilités

• Préparation d'un doctorat sur l interprétation abstraite pour WebAssembly.
• Rédaction de bibliographie et implantation de prototypes.
• Publication d'articles et présentation des résultats.

Connaissances

Recherche

Formation

Master ou équivalent

Description du poste

Doctorant F/H Interprétation Abstraite pour WebAssembly

Niveau de diplôme exigé : Bac + 5 ou équivalent

Contexte et atouts du poste

Préparation d'un doctorat.

Mission confiée

Préparation d'un doctorat.

Principales activités

Principales activés (5 maximum) : Recherche , bibliographie, implantation de prototypes, publication d'articles.

Compétences

Aptitudes à un travail de recherche.

• Restauration subventionnée
• Transports publics remboursés partiellement
• Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
• Possibilité de télétravail et aménagement du temps de travail
• Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
• Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
• Thème/Domaine :Preuves et vérification
  Ingénierie logicielle(BAP E)
• Date de prise de fonction souhaitée :2026-10-01
• Durée de contrat :3 ans
• Date limite pour postuler :2026-09-30

Politique de recrutement :
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

Inria, l'institut national de recherche dans les sciences et technologies du numérique, est en appui de l’État pour les stratégies nationales de recherche et d’innovation du numérique en tant qu'Ag e programme. Inria mène plus de 300 projets de recherche et d’innovation avec ses 3500 scientifiques, ingénieurs et personnels d’appui, en partenariat avec les universités et l’écosystème numérique (entreprises, entrepreneurs, acteurs publics). Ensemble, nous explorons des domaines clés comme l'intelligence artificielle, la cybersécurité, l’informatique quantique, le Cloud, la transformation numérique de la santé, les jumeaux numériques ou encore les technologies digitales pour la défense. Nous construisons ...