coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position Machine Learning translation between formal math libraries

From: Cyril Cohen <cyril.cohen AT inria.fr>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Postdoc position Machine Learning translation between formal math libraries
Date: Fri, 14 Jun 2024 14:33:49 +0200
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 Coq/Rocq users,

I would like to attract your attention to an open position at ENS Lyon on the translation between formal mathematics libraries using machine learning techniques.

https://jobs.inria.fr/public/classic/en/offres/2024-07776

Best wishes.
--
Cyril

[Coq-Club] Postdoc position Machine Learning translation between formal math libraries, Cyril Cohen, 06/14/2024