[TYPES/announce] Fully-funded PhD position in Static Analysis at Inria Lille, France

[Raphaël Monat]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 236 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250114/4a5cfb99/attachment.sig>