coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Julien Cohen <Julien.Cohen AT univ-nantes.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD-student position in Nantes
Date: Tue, 3 May 2016 15:05:34 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Julien.Cohen AT univ-nantes.fr; spf=Pass smtp.mailfrom=Julien.Cohen AT univ-nantes.fr; spf=None smtp.helo=postmaster AT smtp-tls.univ-nantes.fr
Ironport-phdr: 9a23:nF60ux9Gkx2hCf9uRHKM819IXTAuvvDOBiVQ1KB91+kcTK2v8tzYMVDF4r011RmSDdSds6oP0LuempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lS8iK14/shqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MlZFK7+Yq4QTLpCDT1gPXpmytfssEzhUA+O631UeWIWnxwAVyrY6BD3WNHatSv3sMJg3iiEeMv/S6w5QnKs9fE4G1fTlC4bOmthoynsgctqgfcDrQ==

Dear Coq-Club,

we have an open PhD-student position to work on certified refactoring of C programs. We rely on CompCert C and Coq. The complete description of the research project is available there :
http://www.lina.univ-nantes.fr/IMG/pdf/ascola_2016_sujetvanglaise_rdouence_et_jcohen.pdf

Candidates must send the following documents to Julien.Cohen AT univ-nantes.fr and Remi.Douence AT mines-nantes.fr :

Best Regards,

Julien.

-- 
Julien Cohen
Polytech'Nantes / LINA
(33) 2 40 68 32 56