🗓️ Application Deadline : 13 September 2024 23:59:00 Paris time Apply here (external link to official CNRS Emploi job posting) General information Offer title : Offer title : PhD Student (M/F) at IRIF - formalization of commutative diagram proofs (H/F)