PhD Position F/M A study of forcing and second-order abstract syntax in type theory

Inria; Paris; Sur place; EUR 45 000 - 65 000; Plein temps

Résumé du poste

Inria, l'institut national de recherche dans les sciences et technologies du numérique, recherche un cadre pour ses activités de preuves et vérification et ingénierie logicielle. Le diplôme exigé est Bac +5 ou équivalent et la prise de fonction est souhaitée le 1er octobre 2026. Contrat de 3 ans, poste basé à Paris.

Date limite de candidature: 2 septembre 2026. Inria agit au service de la souveraineté numérique et développe des solutions concrètes comme des logiciels et des partenariats avec

Qualifications

• Diplôme exigé: Bac +5 ou équivalent.
• Expérience en ingénierie logicielle est souhaitable.
• Connaissance des domaines liés à la vérification et preuves.

Connaissances

Preuves & vérification

Ingénierie logicielle

Formation

Bac +5 ou équivalent

Description du poste

Le descriptif de l’offre ci-dessous est en Anglais

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

Contexte et atouts du poste

Mission confiée

Principales activités

Compétences

• 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-02

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'Agence de programmes. 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 numériques pour la défense. Nous construisons des solutions concrètes telles que des logiciels, des startups technologiques, des partenariats avec les entreprises du tissu national et des formations de pointe. Notre objectif : l’impact scientifique, technologique et industriel au service de la souveraineté numérique de la France.