coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position available at the University of Lille – Starting October 2024

From: David Nowak <david.nowak AT univ-lille.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Postdoc position available at the University of Lille – Starting October 2024
Date: Mon, 2 Sep 2024 14:16:32 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=david.nowak AT univ-lille.fr; spf=Pass smtp.mailfrom=david.nowak AT univ-lille.fr; spf=None smtp.helo=postmaster AT smtp-out-2.univ-lille.fr
Ironport-sdr: 66d5acab_ZbSRP5DDNjdnm3KaS+Cy6Ho9v4eTKCI1ETzWuSVLlJCJ2yV xi1+8egO6iUV7hFFDmcIKb3DawoLsBsdCb3/XKw==

Dear All,

We are pleased to announce the availability of a postdoc position at the University of Lille, starting on October 1, 2024, as part of a European project (http://ipcei-cis.eu/).

This position will focus on the intersection of:
* Formal proof in Coq
* Certified compilation
* Separation logic
* Low-level code

If you are interested in applying, please email me with a brief description of your background and research interests, along with your CV. Your CV should include the names and contact details of two references.

Candidates should have, or be close to completing, a PhD degree in computer science or mathematics.

We look forward to receiving your application.

Best regards,

David

--
David Nowak
https://www.cristal.univ-lille.fr/~nowakd/

[Coq-Club] Postdoc position available at the University of Lille – Starting October 2024, David Nowak, 09/02/2024