PhD Position in Software Engineering: Proofs & Verification
Inria
Recevez plus de réponses des employeurs
Envoyez un CV adapté au poste en quelques minutes.
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
Formation
Description 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
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
