[TYPES/announce] Two post-doctoral positions at ENS de Lyon, France

[Damien Pous]

This is an announcement for two postdoctoral positions at ENS de Lyon, France.

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 (from algorithms to Kleene algebra and cyclic proof theory)
- relation algebra, graphs of bounded tree-width, logics with few variables
- theories and tactics for the Coq proof assistant.
Applicants should hold a PhD in theoretical computer science, 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 into a scientific
discussion, or to ask me for more details about the project, the
surrounding team (Plume), the lab (LIP), or Lyon's city.

With best regards,
Damien Pous