Logic List Mailing Archive

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@ens-lyon.fr

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam