[FOM] postdoctoral position at ENS Lyon, France

[Denis Kuperberg]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170413/5f1a2d26/attachment.html>