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 | 476 | December 27, 2022 | |
| PhD Position in formal proofs @LMF/Université Paris-Saclay | 0 | 451 | September 28, 2023 | |
| Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms | 0 | 985 | January 24, 2020 | |
| Master Program on Formalised Math | 0 | 283 | January 8, 2024 | |
| [Postdoc position] Machine Learning for translation between formal mathematics libraries (2nd announcement) | 0 | 70 | October 3, 2024 |