Postdoc Positions on Deep Inference in Paris

Dear Frogs,

Since the list is on deep inference and related topic, it might be of 
interest that now there are postdoc positions available for doing research 
on deep inference.

One is funded by the French ANR within within the project INFER 
<http://www.lix.polytechnique.fr/~lutz/orgs/infer.html>

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

For more information, please contact:
   Lutz Strassburger <lutz-TgEOGOHWQm0czSlqHMVBIP3zm4ADWneb@xxxxxxxxxxxxxxxx>

Applications should be sent via email to Lutz Strassburger
<lutz-TgEOGOHWQm0czSlqHMVBIP3zm4ADWneb@xxxxxxxxxxxxxxxx>, and should include a 
CV, a short research
proposal (1-2 pages), and one or two recommendation letters. The
position is open now, and applications are considered until the
position is filled.

A second possibility of a deep inference postdoc position comes from 
INRIA:
http://www.talentsplace.com/syndication1/inria/ukpostdoc/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4508&LOV2=4493&LOV6=4514&LG=EN&Resultsperpage=20&nPostingID=1124&nPostingTargetID=3132&option=52&sort=DESC&nDepartmentID=19

For this, applications have to made online via the INRIA webpage (before 
March 31 !!!). Nonetheless, potential applicants should contact me via 
email.

Best regards,
Lutz