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 | |
|---|---|---|---|---|
| PhD Position in formal proofs @LMF/Université Paris-Saclay | 0 | 440 | September 28, 2023 | |
| Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms | 0 | 983 | January 24, 2020 | |
| Master Program on Formalised Math | 0 | 274 | January 8, 2024 | |
| Postdoctoral Position in Orleans, France: Collaborative Memory Models for Formal Verification | 0 | 312 | June 10, 2023 | |
| PhD student position on proof theory and verification of legal software in Coq, Barcelona (Deadline: April 3rd, AoE) | 0 | 665 | March 29, 2022 |