coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Job offer - postdoc position in Inria Sophia Antipolis

From: Cyril Cohen <cyril.cohen AT inria.fr>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Job offer - postdoc position in Inria Sophia Antipolis
Date: Wed, 1 Mar 2023 00:33:16 +0100
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=cyril.cohen AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

Dear all,

We still offer a 1-year long postdoc position to start as soon as possible in the context of the french ANR CoREACT.

All the details are in the following document
http://cyrilcohen.fr/CoREACT1.pdf

You can find the application link here:
https://jobs.inria.fr/public/classic/fr/offres/2022-05646

Best wishes,
--
Cyril Cohen

[Coq-Club] Job offer - postdoc position in Inria Sophia Antipolis, Cyril Cohen, 03/01/2023