categories - Category Theory list
 help / color / mirror / Atom feed
From: Pierre-Louis Curien <Pierre-Louis.Curien@pps.jussieu.fr>
To: types-announce@lists.seas.upenn.edu, categories@mta.ca
Subject: Position announcement in Paris 7 University
Date: Sat, 10 Mar 2007 11:49:45 +0100	[thread overview]
Message-ID: <E1HQ6Il-0004qB-4c@mailserv.mta.ca> (raw)

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  
> 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.  
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=Louis Curien
>
> curien@pps.jussieu.fr
>

****  More practical info (in French) ****

Maîtres de conférences

25è section :
Université Paris-VII : mathématiques des preuves et des programmes :  
0648.

POUR ACCEDER AU TEXTE INTEGRAL DU J.O. par internet :
http://www.legifrance.gouv.fr

Arrêté du 16 février 2007 portant déclaration de vacance d'emplois de  
professeur des universités offerts à la mutation, au détachement et,  
en application du 1° de l'article 46 du décret n° 84-431 du 6 juin  
1984 modifié, au recrutement (1re session 2007)
NOR: MENH0700337A

Arrêté du 16 février 2007 portant déclaration de vacance d'emplois de  
maître de conférences offerts à la mutation, au détachement et, en  
application du 1° de l'article 26-I du décret n° 84-431 du 6 juin  
1984 modifié, au recrutement (1re session 2007)
NOR: MENH0700341A

Clôture des inscriptions dans l'application ANTARES : le 30 mars 2007  
à 16h heure de Paris (et non pas le 27 mars comme indiqué par erreur  
aux articles 8 et 13 de l'arrêté relatif aux professeurs)
http://www.education.gouv.fr rubrique « Concours, emplois, carrières  
» puis « Personnel enseignant du supérieur et chercheurs » puis « les  
enseignants-chercheurs »
Le dossier papier devra être envoyé au plus tard le 30 mars à minuit  
(cachet de la poste faisant foi) au service du personnel de  
l'établissement affectataire de l'emploi.





                 reply	other threads:[~2007-03-10 10:49 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1HQ6Il-0004qB-4c@mailserv.mta.ca \
    --to=pierre-louis.curien@pps.jussieu.fr \
    --cc=categories@mta.ca \
    --cc=types-announce@lists.seas.upenn.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).