From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7874 Path: news.gmane.org!not-for-mail From: Pierre-Louis Curien Newsgroups: gmane.science.mathematics.algtop,gmane.science.mathematics.categories Subject: Professor position at PPS - University Paris Diderot Date: Thu, 26 Sep 2013 18:35:40 +0200 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Apple Message framework v1076) Content-Type: multipart/mixed; boundary="===============2199239290207086482==" X-Trace: ger.gmane.org 1380229179 20636 80.91.229.3 (26 Sep 2013 20:59:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 26 Sep 2013 20:59:39 +0000 (UTC) To: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org Original-X-From: algtop-l-bounces+gsma-algtop-l=m.gmane.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Thu Sep 26 22:59:40 2013 Return-path: Envelope-to: gsma-algtop-l@m.gmane.org Original-Received: from astroiii.cc.lehigh.edu ([128.180.39.23]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VPIex-0001n3-FH for gsma-algtop-l@m.gmane.org; Thu, 26 Sep 2013 22:59:39 +0200 Original-Received: from astroiii.CC.Lehigh.EDU (localhost [127.0.0.1]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id 616EC40715 for ; Thu, 26 Sep 2013 16:59:28 -0400 (EDT) Original-Received: from korolev.univ-paris7.fr (korolev.univ-paris7.fr [194.254.61.138]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id 1BBA34018F for ; Thu, 26 Sep 2013 12:35:43 -0400 (EDT) Original-Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/46573) with ESMTP id r8QGZgeF003754 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 26 Sep 2013 18:35:42 +0200 Original-Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/46573) with ESMTP id r8QGZgqK019388; Thu, 26 Sep 2013 18:35:42 +0200 Original-Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 0A69958C32; Thu, 26 Sep 2013 18:35:42 +0200 (CEST) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Original-Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id j3tnoRd-SfSC; Thu, 26 Sep 2013 18:35:40 +0200 (CEST) Original-Received: from host-36-7.sg.lan (unknown [172.23.36.7]) (Authenticated sender: curien) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 0F7B558C2C; Thu, 26 Sep 2013 18:35:39 +0200 (CEST) X-Mailer: Apple Mail (2.1076) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Thu, 26 Sep 2013 18:35:42 +0200 (CEST) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Thu, 26 Sep 2013 18:35:42 +0200 (CEST) X-Miltered: at korolev with ID 5244625E.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 5244625E.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 5244625E.000 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 5244625E.000 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 5244625E.000 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 5244625E.000 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham X-Mailman-Approved-At: Thu, 26 Sep 2013 16:59:18 -0400 X-BeenThere: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Algebraic Topology Discussion Group List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: algtop-l-bounces+gsma-algtop-l=m.gmane.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Original-Sender: algtop-l-bounces+gsma-algtop-l=m.gmane.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Xref: news.gmane.org gmane.science.mathematics.algtop:722 gmane.science.mathematics.categories:7874 Archived-At: --===============2199239290207086482== Content-Type: multipart/alternative; boundary=Apple-Mail-14-326698818 --Apple-Mail-14-326698818 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii; format=flowed %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Professor position at PPS in 2014 A permanent Full Professor position in Computer Science will be opened next year at Paris Diderot University (Paris 7). The hired candidate will work in the laboratory PPS (Preuves, Programmes et Systemes) on topics related to the following theme: Foundations of Programming Languages and Proof Assistants The position will be opened around February 2014, with decision taken around May 2014, and job starting in September 2014. More details on this position are available here: (1) http://www.pps.univ-paris-diderot.fr/poste-PR-2014 Notice: there is a - rather light - preliminary phase called qualification, through which all candidates have to go. Deadline for the first step of qualification: 2013-10-24. More details on qualification are given on the web page (1). Please don't hesitate to contact Thomas Ehrhard (thomas.ehrhard-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU@public.gmane.org) or Delia Kesner (delia.kesner-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU@public.gmane.org) for more information (especially about qualification). --Apple-Mail-14-326698818 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii http://www.pps= .univ-paris-diderot.fr/poste-PR-2014

Notice: there is a - = rather light - preliminary phase called
qualification, through which = all candidates have to go. Deadline for the
first step of = qualification: 2013-10-24. More details on qualification
are given on = the web page (1).

Please don't hesitate to contact
Thomas = Ehrhard (thomas.ehrhard@pp= s.univ-paris-diderot.fr)
or Delia Kesner (delia.kesner-i4ARWAqwDZ4@public.gmane.org= iv-paris-diderot.fr)
for more information (especially about = qualification).= --Apple-Mail-14-326698818-- --===============2199239290207086482== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ ALGTOP-L mailing list ALGTOP-L-wE+tr93vHrabo6XCN/16Dg@public.gmane.org https://lists.lehigh.edu/mailman/listinfo/algtop-l --===============2199239290207086482==--