coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Open positions at ENS Lyon, France (automata, relation algebra, proof assistants)

From: Damien Pous <Damien.Pous AT ens-lyon.fr>
To: coq-club <coq-club AT inria.fr>, types-announce AT lists.seas.upenn.edu, concurrency AT listserver.tue.nl, relmics-l AT mcmaster.ca
Subject: [Coq-Club] Open positions at ENS Lyon, France (automata, relation algebra, proof assistants)
Date: Fri, 5 Feb 2016 16:42:26 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=damien.pous AT gmail.com; spf=Pass smtp.mailfrom=damien.pous AT gmail.com; spf=None smtp.helo=postmaster AT mail-ob0-f179.google.com
Ironport-phdr: 9a23:eau8CRKEa2De+DQ6PdmcpTZWNBhigK39O0sv0rFitYgVLvzxwZ3uMQTl6Ol3ixeRBMOAu60C0bCd7PuocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0ILtjavtoNX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqLjOq88ULYQWD8hKiU+4NDhnRjFVwqGoHUGBCFejgtQDhOA5Rf8WYr3uSbSsutmxDLcJsD/VvYpQTmk6eFmRAKswCwAMTUk6nvajMdhpKZauw66qgZhzpSSfJyYcvx6OuvHcNcfRGFaG8J5UidEC5igYpFJBONSE/xfqtzRrl4PoB32PQ6xH6u75jZNh3Lwm5U9zv8JHAfdmQgxGNRIvm6C/4a9D7sbTe3glPqA9j7Edf4DgTo=

This is an announcement for several postdoctoral positions and a PhD
grant at ENS de Lyon, France, in the area of verification and
certification.

These positions are funded by the ERC project CoVeCe:

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

This project covers fields such as
- automata theory,
- relation algebra, and
- proof assistants.
Applicants should have a strong background in one of the above fields,
and a desire to work at their frontier.

To apply, send me an email (Damien.Pous at ens-lyon.fr) with your
motivations (which part(s) of the project you would like to be
involved in, why...), a brief CV, 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.

The project starts April 1st, 2016 and should end in 2021. Successful
applicants could start this Spring, this Autumn, or the following
years.

--
Damien Pous

[Coq-Club] Open positions at ENS Lyon, France (automata, relation algebra, proof assistants), Damien Pous, 02/05/2016