Verimag proposes several internship topics around CompCert, a formally verified compiler. See details in the attached pdf.
info visites 4194122