headers
Alessio Guglielmi | 16 Apr 2011 15:55
Picon

Sophia Strassburger

Hello,

Sophia Strassburger was born this morning, and everybody is well. She 
will make Lutz a civilised person!

-Alessio
Permalink | Reply | 0 comments |
headers
Lutz Strassburger | 25 Apr 2011 03:49
Picon
Picon

Postdoc position in proof theory in Paris


--------------------------------------------------------
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 STRUCTURAL
<http://www.lix.polytechnique.fr/~lutz/orgs/structural.html>

The postdoc will be hosted by 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.

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
project STRUCTURAL. There are no teaching duties.

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

or contact
   Lutz Strassburger <lutz@...>
or
   Kaustuv Chaudhuri <kaustuv.chaudhuri@...>

Applications should be sent via email to Lutz Strassburger
<lutz@...> and Kaustuv Chaudhuri
(Continue reading)

Permalink | Reply | 0 comments |

Gmane