coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Fully-funded PhD position in Static Analysis at Inria Lille, France

From: Raphaël Monat <raphael.monat AT inria.fr>
To: undisclosed-recipients: ;
Subject: [Coq-Club] Fully-funded PhD position in Static Analysis at Inria Lille, France
Date: Tue, 11 Feb 2025 16:22:35 +0100
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=raphael.monat AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

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

Attachment: OpenPGP_signature.asc
Description: OpenPGP digital signature

[Coq-Club] Fully-funded PhD position in Static Analysis at Inria Lille, France, Raphaël Monat, 02/11/2025