Interns at level License 3rd year, Master 1st year, Master 2nd professional or engineer
-
Formal proof on floating-point arithmetic with double rounding
- Preuve formelle d'un algorithme de calcul de point fixe
Interns at level Master 2nd year research
PhD thesis
- No ongoing offer
Post-doctoral interns
- No ongoing offer




