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
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Position in software dependability at the French space agency CNES - Toulouse | 2 | 498 | December 27, 2022 | |
| PhD Position in formal proofs @LMF/Université Paris-Saclay | 0 | 467 | September 28, 2023 | |
| 3-year engineering position in Deducteam, Inria Paris-Saclay, France | 0 | 449 | April 22, 2023 | |
| CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs | 1 | 383 | December 22, 2022 | |
| Job offer - postdoc position in Inria Sophia Antipolis | 1 | 549 | January 3, 2023 |