coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD Positions Available at the University of Lille – Starting September 2024

From: David Nowak <david.nowak AT univ-lille.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD Positions Available at the University of Lille – Starting September 2024
Date: Fri, 24 May 2024 19:17:25 +0200
Authentication-results: mail3-smtp-sop.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: 6650cbb1_4j5b3R3XfqsQCRN413U7jnSk6jD65KDxeA7teLyujjoyXo0 a+0U7W/OdRV1CbiP34EUEul6cxfVHyYWru9dFgQ==

Dear all,

We are pleased to announce the availability of 1-2 PhD positions at the
University of Lille, starting on September 1, 2024, as part of a European
project.

These positions will focus on the intersection of formal proof in Coq,
low-level code, mobile code, certified compilation, and separation logic.

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

Best regards,

David

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

[Coq-Club] PhD Positions Available at the University of Lille – Starting September 2024, David Nowak, 05/24/2024