A number of internship available for French students at CNES, the French space agency, including a research internship in proof theory here: Emploi CNES - Arbres de défaillances et formes normales exp-log Stage, 4-6 mois
A number of internship available for French students at CNES, the French space agency, including a research internship in proof theory here: Emploi CNES - Arbres de défaillances et formes normales exp-log Stage, 4-6 mois