PhD Position F/M Interoperability for Synthetic Mathematics in a Proof Assistant

inria

gif-sur-yvette, France

Posted: 2026-08-22

💰 Estimated salary: € 26000 – € 35000 Based on similar mid-level admin roles (gross annual)
Date limite pour postuler:-- Rfrencedel offre :- Ville: Gif-sur- Yvette quipe Inria:
Apply on Company Website