[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
