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

inria

paris, France

Posted: 2026-08-22

💰 Estimated salary: € 35000 – € 50000 Based on similar mid-level others roles (gross annual)
Date limite pour postuler:-- Rfrencedel offre :- Ville: Paris quipe Inria: PICUBE
Apply on Company Website