From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4590 Path: news.gmane.org!not-for-mail From: Tom Hirschowitz Newsgroups: gmane.science.mathematics.categories Subject: Full professor position Date: Tue, 16 Sep 2008 13:40:52 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (Apple Message framework v926) Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241020044 13961 80.91.229.2 (29 Apr 2009 15:47:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:47:24 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Sep 16 21:20:26 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 16 Sep 2008 21:20:26 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KfkhB-0004N6-Eg for categories-list@mta.ca; Tue, 16 Sep 2008 21:15:01 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 60 Original-Lines: 72 Xref: news.gmane.org gmane.science.mathematics.categories:4590 Archived-At: Dear all, Here is a bit of additional information about the full professor position at Universit=E9 de Savoie I advertised in July (full message below). The schedule for 'qualification' is available here = http://www.education.gouv.fr/personnel/enseignant_superieur/enseignant_che= rcheur/calendrier_qualification.htm=20 . In summary: - registration is now open, and will close on October 14th (5pm, =20 Paris time), - applicants should defend their habilitation before December 10th. Hoping to see some categorists show up, Tom Original message: ------------------------ A full professor position will be available at Universit=E9 de Savoie in Chamb=E9ry (France), from September 1, 2009. The new professor will be a member of the LIMD group (Logique, Informatique et Math=E9matiques Discr=E8tes) and is expected to do his research in proof theory in relation to computer science, preferably in one or more of the following areas: lambda-calculus, type theory, realizability, denotational semantics (games, categories, ...), linear logic, concurrency and mobility (process algebras, bisimilarity, semantics, ...), mathematics of programming languages (design, typing, compilation, ...), ... The LIMD group is a UMR (mixed CNRS-University research unit), part of the mathematics laboratory (LAMA) at Universit=E9 de Savoie. The LAMA (*) has presently 27 permanent researchers in total; the LIMD group has 3 full Professors, 4 "Maitre de conferences" and 2 CNRS researchers. The position is made available by the retirement of one of the professors. The teaching assignments are: mathematics and/or computer science for students from L1 to M2 (in the new european terminology). To get this position, it is necessary to - speak french fluently, and - have been accepted on the so-called "liste de qualification". If you are not yet qualified, note that the deadline for applying is usually around mid-october. For further details, please don't hesitate to contact me. Tom Hirschowitz (*) http://www.lama.univ-savoie.fr/