Doctorant en 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

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.