[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]I am looking to hire a PhD student to work on Resource-Aware Conservative Static Analysis. Starting date is ideally in Autumn 2025. The position is fully funded by a national grant I have received. The description is to be found here: https://rmonat.fr/data/priv/2025_raisin_phd.pdf Application portal: https://recrutement.inria.fr/public/classic/en/offres/2025-08545
Applicants from all backgrounds, horizons, genders and ages are encouraged to apply. As part of its diversity policy, all Inria positions are accessible to people with disabilities.
Do feel free to reach out by email for informal enquiries. Best regards, Raphaël Monat Research Scientist at Inria Lille, France https://rmonat.fr
OpenPGP_signature.asc
Description: OpenPGP digital signature
