coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Sylvie Boldo <sylvie.boldo AT inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Postdoc position in Orsay, France
- Date: Thu, 15 Mar 2018 16:41:51 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sylvie.boldo AT inria.fr; spf=None smtp.mailfrom=sylvie.boldo AT inria.fr; spf=None smtp.helo=postmaster AT ext.lri.fr
- Ironport-phdr: 9a23:4Wcy5hPWWc58nv0q6AAl6mtUPXoX/o7sNwtQ0KIMzox0Lfz5rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKjA37mLZhMJ+g61UvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoakYoUSD+sBOfhYr4jjqFATsBa+Ag2sC/7oyjRVgXL2xq070+A/EQHHwgMsBckBsHPQrNroM6cfSuG1zK/SzTXCdfxawzn96JLRfx0nvPqCU7Vwcc/LxkkuEQPIllSQqYr/PzOUzOsBqWab7/BmWOmyiGAnsxl8riWxysookIXFm4AYx1De+SlkwIs5P9K1RUhmatC+CpRQrTuVN45uT8MiXW5ovCE6x6UYtp+0YCgG0pAnxwTea/CdfYiI+ArvVOeXIThmmHJoYK+ziwi2/ES61+HxVMm53ExXoidFiNXBuWgB1xnJ5ciGTvt98F2h2TGK1w3L8eFFIUQ0lbTaK5E/2LI/jZ0TsUDeES/xg0j2jamWdl8l+uey8ejnbK/mqoeGN4BokgH+LrgumsunDOskNQgORnGX9vi41L3+5kL0W65Kj/0zkqnBqp/WP8UbpqijAw9UyIkv8Ri/Dy31mOgfyHIANRdOfA+Np4nvIVDHZv7iXtmlhFH5qyZv2fHLdpfmBpnKZizYgbP/fLs74UlYxA0bzNZF5psSBKtXc6G7YVP4qNGNVkxxCAez2euyUIwshLNbYnqGB+qiCI2XtFaJ4uw1JOzVPN0Uviz8Ir4r/ay21CNrqRomZaCsmKAvRjWgBP0/exeYZ2Dti5EPCzVS51dsfKnRkFSHFAVrSTOyUqY7v2tpBZK6S4PZR8ajmu7Z0Q==
Hello,
I would like to advertise a postdoc position available in Orsay, France.
The goal is to develop formal proofs about the floating-point evaluation of polynomials and is within the FastRelax project
http://fastrelax.gforge.inria.fr/
To see details and to apply, please go to
https://jobs.inria.fr/public/classic/en/offres/2018-00418
Do not hesitate to forward this email to any appropriate candidate or
mailing list.
Best regards,
Sylvie Boldo
--
Sylvie Boldo, Toccata project, Inria Saclay - Île-de-France
PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex
- [Coq-Club] Postdoc position in Orsay, France, Sylvie Boldo, 03/15/2018
Archive powered by MHonArc 2.6.18.