Subject: Postdoc Positions on Deep Inference in Paris
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-02-22 11:35:44 GMT (1 year, 11 weeks, 2 days, 9 hours and 25 minutes ago)
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@...> Applications should be sent via email to Lutz Strassburger <lutz@...>, 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