[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear list,
In case some of your students might be interested, we have a couple of
internship offerings at CNES, the French space agency, in particular one that
has to do with software, formal methods, and dependability, here:
https://urldefense.com/v3/__https://recrutement.cnes.fr/fr/annonce/1924175-ingenieure-informatique-projet-etudiant-surete-de-fonctionnement-logiciel-75012-paris?s_o=Cooptation&s_b=DigitalRecruiters__;!!IBzWLUs!VkjwaZxPHdN5vNBvSfZTkzfw3_2myi_AB7p4T6GIfgSrS_F0MkUqpvBMBt7e8k30CznEFkM9iWWGluAbRcUh-jJvxPj7JVN_XYY$
The internship is meant for students studying in France mostly, for
administrative reasons. The location is downtown Paris and there is a (modest)
remuneration involved.
Thank you,
Best regards,
--
Danko ILIK, Centre national d'études spatiales
