coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2-year engineering position at Inria Paris-Saclay

From: Sylvie Boldo <sylvie.boldo AT inria.fr>
To: gdr-im AT gdr-im.fr, gdr.gpl AT imag.fr, coq-club AT inria.fr
Subject: [Coq-Club] 2-year engineering position at Inria Paris-Saclay
Date: Wed, 17 May 2023 14:47:44 +0200
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=sylvie.boldo AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

(English version below)

Bonjour,

Nous recrutons pour 2 ans un ingénieur en méthodes formelles sur le projet LiberAbaci, qui vise à améliorer l'accessibilité du système de preuve interactif Coq pour un public d'étudiants en mathématiques dans les premières années universitaires.
https://liberabaci.gitlabpages.inria.fr/

L'ingénieur travaillera sur la bibliothèque coq-num-analysis
https://lipn.univ-paris13.fr/coq-num-analysis/
pour en améliorer les méthodes de développement et la praticité, notamment en vue de l'usage d'une partie par des étudiants de licence.

Plus d'informations sur
https://recrutement.inria.fr/public/classic/fr/offres/2023-06186

Les candidatures se font en envoyant un CV avant le *30 juillet*
à sylvie.boldo AT inria.fr, francois.clement AT inria.fr, mayero AT lipn.univ-paris13.fr (ou en faisant un reply-to :)
Les candidatures seront examinées au fil de l'eau.

Bien cordialement,

Sylvie Boldo, François Clément, Micaela Mayero

(Version française ci-dessus)

Hello,

We are offering a 2-year engineering position in formal methods inside the LiberAbaci project, that aims at improving the access of the Coq proof assistant for mathematics students at the beginning of university.
https://liberabaci.gitlabpages.inria.fr/
The engineer will work on the coq-num-analysis library
https://lipn.univ-paris13.fr/coq-num-analysis/
in order to improve its software development and its practicality, especially for first-years university students to use part of it.

More information on
https://recrutement.inria.fr/public/classic/fr/offres/2023-06186
in French (translation upon request).

Interested people should send a CV before *July 30th* to sylvie.boldo AT inria.fr, francois.clement AT inria.fr, mayero AT lipn.univ-paris13.fr (or by a reply-to :)
Applications will be examined over time.

Best regards,

Sylvie Boldo, François Clément, Micaela Mayero

--
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.

S. Boldo, présidente de l'agrégation d'informatique
Inria, LMF, Université Paris-Saclay

[Coq-Club] 2-year engineering position at Inria Paris-Saclay, Sylvie Boldo, 05/17/2023