From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3694 Path: news.gmane.org!not-for-mail From: Pierre-Louis Curien Newsgroups: gmane.science.mathematics.categories Subject: Position announcement in Paris 7 University Date: Sat, 10 Mar 2007 11:49:45 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019466 9859 80.91.229.2 (29 Apr 2009 15:37:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:37:46 +0000 (UTC) To: types-announce@lists.seas.upenn.edu, categories@mta.ca Original-X-From: rrosebru@mta.ca Sat Mar 10 14:34:44 2007 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 10 Mar 2007 14:34:44 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HQ6Il-0004qB-4c for categories-list@mta.ca; Sat, 10 Mar 2007 14:28:19 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 48 Original-Lines: 88 Xref: news.gmane.org gmane.science.mathematics.categories:3694 Archived-At: Following a preannouncement posted last October, > A position of Maitre de Conferences (permanent position, more or less > equivalent to "associate professor", or "lecturer") > > ** in mathematics** > > is opened at Paris 7 University. > The hired candidate will work in the laboratory PPS (Preuves, > Programmes et Systemes), which spreads its interests on both sides of > the correspondence between proofs and programs, covering work on > language design and implementation, rewriting, semantics (and game > semantics in particular), categories, linear logic, realizability, > probabilistic and topological methods, etc... See =20 > www.pps.jussieu.fr. > > Th deadline for application is ** March 31 (see more specific info in French below) **, > with decisions taken > around May 2007, and job starting in October 2007. The applicant must have gone through the qualification procedure (cf. =20= preannouncement). > A certain fluency in French is required for the position. The teaching > will be in the mathematics department, so some experience in teaching > mathematics (rather than computer science) is welcome. Teaching is in > French. > > I invite candidates to contact me. > Best regards, > > Pierre=3DLouis Curien > > curien@pps.jussieu.fr > **** More practical info (in French) **** Ma=EEtres de conf=E9rences 25=E8 section : Universit=E9 Paris-VII : math=E9matiques des preuves et des programmes : = =20 0648. POUR ACCEDER AU TEXTE INTEGRAL DU J.O. par internet : http://www.legifrance.gouv.fr Arr=EAt=E9 du 16 f=E9vrier 2007 portant d=E9claration de vacance = d'emplois de =20 professeur des universit=E9s offerts =E0 la mutation, au d=E9tachement = et, =20 en application du 1=B0 de l'article 46 du d=E9cret n=B0 84-431 du 6 juin = =20 1984 modifi=E9, au recrutement (1re session 2007) NOR: MENH0700337A Arr=EAt=E9 du 16 f=E9vrier 2007 portant d=E9claration de vacance = d'emplois de =20 ma=EEtre de conf=E9rences offerts =E0 la mutation, au d=E9tachement et, = en =20 application du 1=B0 de l'article 26-I du d=E9cret n=B0 84-431 du 6 juin =20= 1984 modifi=E9, au recrutement (1re session 2007) NOR: MENH0700341A Cl=F4ture des inscriptions dans l'application ANTARES : le 30 mars 2007 =20= =E0 16h heure de Paris (et non pas le 27 mars comme indiqu=E9 par erreur = =20 aux articles 8 et 13 de l'arr=EAt=E9 relatif aux professeurs) http://www.education.gouv.fr rubrique =AB Concours, emplois, carri=E8res = =20 =BB puis =AB Personnel enseignant du sup=E9rieur et chercheurs =BB puis = =AB les =20 enseignants-chercheurs =BB Le dossier papier devra =EAtre envoy=E9 au plus tard le 30 mars =E0 = minuit =20 (cachet de la poste faisant foi) au service du personnel de =20 l'=E9tablissement affectataire de l'emploi.