[TYPES/announce] Post Doctoral position at INRIA Saclay/Ecole Polytechnique

[Kaustuv Chaudhuri]

                   Post Doctoral Position
          Structural and Computational Proof Theory
       INRIA Saclay & LIX/Ecole Polytechnique, France


Context
-------

  The ANR project STRUCTURAL investigates the structural and
  computational proof theory of recent proof formalisms such as deep
  inference and proof-nets.  One of its main goals is to find
  canonical proof objects that are also suitable for computation in
  terms of proof search and normalization.  Traditional proof systems
  such as the sequent calculus, although well-suited for search, do
  not yield canonical proofs because their syntax records irrelevant
  details such as a particular but arbitrary order for permutable
  rules.  More "bureaucracy-free" formalisms such as proof-nets can
  have represent the parallelism in a proof graphically and therefore
  canonically, but such formalisms are generally only well behaved on
  logics with a low expressive power.  Recent results using deep
  inference and focusing suggest interesting future directions for
  this research goal.

  More details of the research effort can be found in the scientific
  programme of the STRUCTURAL project [1].

Post Doctoral Position
----------------------

  This is a call for a post doctoral position to support the research
  effort and goals expressed in the scientific programme [1] within
  the INRIA Parsifal team [2].

  The successful candidate will undertake basic research in the design
  of new proof systems that both provide canonical proof objects and
  are concrete enough structures to support the computational aspects
  of proof search and normalization.

General Information
-------------------

  Duration: 12 months
  Starting date: Fall 2012 (between 1 Sep and 1 Nov)
  Location: Laboratoire d'Informatique (LIX), Ecole Polytechnique [3]

Requirements
------------

  Candidates must have a Ph.D. and a strong background in proof
  theory and related fields.  If the Ph.D. thesis is not yet
  defended, the candidate must provide the planned defence date and
  the composition of the thesis committee.

  To apply, please contact *both* the following people as soon as
  possible.  Include your current CV, a link to a list of your
  publications, and a research statement summarizing your research
  activities and goals.

      Kaustuv CHAUDHURI (kaustuv dot chaudhuri at inria dot fr)
      Lutz STRASSBURGER (lutz at lix dot polytechnique dot fr)

  Please also include the names of two references.

  The deadline for applications is 20 May 2012, but early expression
  of interest is encouraged.

More Information
----------------

 [0]  The STRUCTURAL project
      http://www.lix.polytechnique.fr/~lutz/orgs/structural.html

 [1]  The STRUCTURAL project description
      http://www.lix.polytechnique.fr/~lutz/orgs/structural-short.pdf

 [2]  The INRIA Parsifal team
      http://team.inria.fr/parsifal/

 [3]  LIX/Ecole Polytechnique
      http://www.lix.polytechnique.fr/

This announcement also available on the web at:

   http://team.inria.fr/parsifal/positions/structural