Postdoctoral position (1y) in automata theory, Lyon (France)

A one-year postdoctoral position is available at the Ecole Normale Supérieure de Lyon, LIP. The topic of the postdoc is the study of good-for-games automata, an intermediate model between determinism and nondeterminism, with applications in verification and synthesis.

We are looking for candidates with expertise in one or several of the following fields: automata theory, games, logic, verification. Experience with various models of automata (weighted, probabilistic, infinite words/trees, transducers,...) would be particularly appreciated.

Candidates should hold a PhD in theoretical computer science or mathematics, in relation with the above fields.

The position is available from September 2017, with flexibility on the starting date. Applications should include a motivation letter and curriculum vitae. Recommendation letters can be sent directly by their authors, or included in the application.

There are no teaching duties and the net salary is standardized, in accordance with CNRS policy, starting at around 2000 euros per month (or more depending on previous experience). Funding is available for travel.

The position is based in the Plume Team, currently composed of 12 permanent researchers and 12 postdocs/PhD students. The main topics of the team are the logical foundations of programming languages (including topics such as the Curry-Howard isomorphism, proof theory, linear logic), and the verification of formal systems. The recruited postdoc will be expected to participate in the regular seminars and working groups organized by the team.

The city of Lyon is one of the three most populated cities of France and is famous for its gastronomy and cultural activity. The city is very pleasant, with its two rivers, numerous parks, and the Alps mountains easily accessible.

Contact for applications or queries: denis.kuperberg at ens-lyon.fr

Denis Kuperberg CNRS, LIP, Plume Team, Ecole Normale Supérieure de Lyon