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

• Combining an SMT-solver with a decision procedure dedicated to the verification of numerical programs

PhD thesis

• No ongoing offer

Post-doctoral interns

• No ongoing offer