[TYPES/announce] Postdoc position in proof theory in Paris

[lutz at lix.polytechnique.fr]

--------------------------------------------------------
  Postdoc position in proof theory in Paris
--------------------------------------------------------

There is an opening of a postdoc position on structural and
computational proof theory. The position is financed by
the ANR within the project FISP.

<https://www.lix.polytechnique.fr/~lutz/orgs/FISP.html>

The postdoc will be hosted by INRIA and the Laboratoire d'Informatique
(LIX) at the Ecole Polytechnique, one of the "Grand Ecoles" in the French
university system, located in the suburbs of Paris.

The successful candidate will be working within the PARSIFAL team.

<http://team.inria.fr/parsifal/>

Starting date should be in Fall 2017.

Applicants must have a Ph.D. or equivalent in computer science or
mathematics, and should have a strong background in proof theory
and related topics. The principal responsibility of the postdoc
will be to carry out research in the area of proof theory within the
FISP project. There are no teaching duties.

For further information, see
<http://www.lix.polytechnique.fr/~lutz/orgs/fisp-postdoc.html>

or contact
    Lutz Strassburger <lutz at lix.polytechnique.fr>

Applications should be sent via email to Lutz Strassburger
<lutz at lix.polytechnique.fr> and should include a CV, a research
statement (1-2 pages), and one or two recommendation letters. The
application deadline is

*** April 16, 2017 ***