coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Post-doctoral position at ENS Lyon, France (automata, relation algebra, coq)

From: Damien Pous <Damien.Pous AT ens-lyon.fr>
To: gdr-im <gdr-im AT gdr-im.fr>, coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Post-doctoral position at ENS Lyon, France (automata, relation algebra, coq)
Date: Fri, 21 Aug 2020 12:18:23 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Damien.Pous AT ens-lyon.fr; spf=Pass smtp.mailfrom=Damien.Pous AT ens-lyon.fr; spf=None smtp.helo=postmaster AT labbe.ens-lyon.fr
Ironport-phdr: 9a23:KzO7iRV7bVI49pVRG3sPWyDuuc7V8LGtZVwlr6E/grcLSJyIuqrYbROGt8tkgFKBZ4jH8fUM07OQ7/m+HzVZu93Y4TgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrAjdrNQajZZ8Jqo+1xfEpmZDdvhLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhNw2Y7aYI+bOvljcK3DYdwXXnZBUtpLWiBdHo+wc4kCAuwcNuhYtYn9oF4OoAOwCwa2AePvyyFHhnnr1qMg1OQhDBrG1xEnEtwAqnvUqdT1O7kUUeyv1qfIyijDb+hN1Djj7ojIaQktofWMXLJ3d8rd00cvFxncg1iWtIfqMC+b2P4XvGiH8+pvS/ivi2g/pgxtozWi2tohh4nUi48WxV7I6Sd0zYg2KNCkR0B3fdypHIdfuiyVOYZ7RsMvTmFmtSs1xbALuJG2cTQOxZkjyBPSbeGMfYaP4hLmTumRIDF4iWp7d7K5nBa+6Eygy+37VsmyylpKoDBFnsHDtnAMyxzT6tWHReBn8ki93jaP0hjf5f1CIUAujqrXMZAhwqQ2m5EOskrDBjf7lFj5gaOKbEkp+Oql5/76brjnpJKQLZF4hh/gPqg2hMCzHeA1PhINUmWb4+iwyqPv8VDjTLhFgfA7lLTSvorAKsQBvKG5BhdY0oY95Ba7CDeryNAYkmMcI11eZh2LlZbmO1fVIPzhCfe+g1OskDFxy/DIJL3tGpTNLn7dn7f9Zbtx9kFRxBYpwd1d5Z9YEKwNLfPxV0PrqtDUEAE1PxSxw+n9CdV90o0eWXiIAq+cKK7cv0WH5ucuI+aSYo8ZoizzK/845/71lnI2h1kdfbKw0ZsTaHG4GfJmL1+XYXr2mtsBC3sFvhIiTOz2j12PSSJcZ3GrX64l+j47DJ+mApzYS4C2gL2B2T+7EYdMamBHDFCMC3boeJ+eV/cCciLBavNmxzMIT/2gTsd12h208Q7/47VrNK/V/2sWr8SnnNNy/qjYkQw4vWh/CN3Y2GWQRUl1mHkJTnk4xvYsm0Flzka/1v1UivlZGNoV3/RUSS83M4WZy/19DZb8QFHvZNCMHXqvR9SrB3kJSc8qi4siakN8FtPkthfexAKnBaRQk62MAto66PSPjDDKO89hxiOeh+EahF48T54XbDz0tutE7wHWQrXxvQCcnqeue74b2XeWpmqF1i+KrUZeFgBqA/ycACIvI3DOpNG83XvsCr+jDbN+Y1lFwMSIJ+1HbMasiURBQrHtIoaGOj7jqyKLHR+Ng4i0Qs/yYWxEh3fQDlNBlxEU+zCIL1pmCw==

This is an announcement for a postdoctoral research position at ENS de
Lyon, France, in the area of verification and
certification.

This position is funded by the ERC project CoVeCe:

http://perso.ens-lyon.fr/damien.pous/covece/

This project covers fields such as
- automata algorithms and coinduction,
- relation algebra, and
- coq (see, e.g., the graph library developed at
https://github.com/coq-community/graph-theory).
Applicants should have a strong background in one of the above fields,
and a desire to work at their frontier.

This is a one-year position starting on Oct. 1st, 2020.

Please apply formally here:
https://emploi.cnrs.fr/Offres/CDD/UMR5668-MARNAR-007/Default.aspx
and send me an email (Damien.Pous at ens-lyon.fr) and the names of two
persons who could recommend you.
Please feel free to engage a scientific discussion, or to ask me for
more details about the project, the salaries, the surrounding team
(Plume), the lab (LIP), or Lyon's city.

Best regards
--
Damien Pous

[Coq-Club] Post-doctoral position at ENS Lyon, France (automata, relation algebra, coq), Damien Pous, 08/21/2020