[TYPES/announce] Assistant Professor position at University Paris Diderot

[Roberto Di Cosmo]

======================================================
Assistant professor (Maitre de Conferences) position
University Paris 7 Denis Diderot
Laboratory PPS (www.pps.jussieu.fr)
Web: https://www.pps.jussieu.fr/annonces/2010-mdc
======================================================

A Maitre de Conference permanent position (~ Assistant
Professor) will be opened during the next academic year
within the Laboratory PPS located at University Paris Diderot
(see: http://www.pps.jussieu.fr).

Since the recruitment procedure in France involves several
preliminary steps, that need to be accomplished before
the position actually becomes available, this message
is sent largely in advance, to allow all potential
interested candidates to start the process in time
(see at the end of the message for more details).

Please notice that this position involves teaching,
in French and proficiency in this language is necessary
at the time the position is taken (September 2011).                  

You can find more information on what is a 'Maitre de Conference',
including an approximate salary scale, on a french page on Wikipedia
http://fr.wikipedia.org/wiki/Ma%C3%AEtre_de_conf%C3%A9rences_%28France%29

Important dates
---------------

 Beginning of the preliminary
 process (qualification):      September 14, 2010

 Expected date of publication
 of the position:              Februrary 2011

 Expected date for sending the
 complete application:         end of March 2011

 Expected date of the 
 interview of candidates       May 2011

 Start of the position         September 2011

Research area of the position
-----------------------------

We are looking for strong junior-level candidates who will be able
to contribute to the ongoing effort made in the PPS lagoratory to
study the foundations of programming. 

The researcher to be recruited is expected to contribute to the current
research activities of the PPS laboratory on various challenges arising
from programming in the large: complex software systems based on
heterogeneous, possibly distributed components with short development
lifecycles; theory and applications of formal methods to large codes
or code bases, possibly leading to the development of tools for improving
the quality of software systems.

Potential candidates are encouraged to peruse the laboratory web site
(http://www.pps.jussieu.fr), as well as the websites of some of the research
projects hosted there, like Mancoosi (http://www.mancoosi.org), CerCo
(http://cerco.cs.unibo.it/), CDuce (http://www.cduce.org/) and Ocsigen
(http://ocsigen.org/).

In PPS, the candidate will find a unique blend of computer scientists, with
strong formal basis rooted in mathematics, and a passion for programming
and applications: this is why, while the position description may seem more
oriented towards applications, strong candidates in theoretical computer
science are very welcome and should not hesitate in contacting us.

Application procedure
---------------------

The procedure works in two stages in France: in the first stage, every
candidate applies to a national committee that assesses the overall
level of the candidate's profile and delivers a 'qualification', which
is valid for 4 years.

First stage: Qualification
--------------------------

The qualification procedure is specific to France, and is done by the
CNU (Comite National des Universites), which is divided into sections,
one for each discipline. 

The web page of the Computer Science section is http://cnu27.lri.fr/ and
contains extremely useful information: all interested candidates should
read the 'Qualification' section there, but here follows a short summary
of the important dates.

The first step of qualification is performed at the following web site:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/candidats.html
you can register, and fill in the required forms here:
https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/index.jsp

This first step must be completed very soon, before the 28th of October.
The interested candidates should not be afraid to contact us
early in case of difficulty with the qualification procedure.

A few weeks after the application has been registered on the web site,
the names of two reviewers are notified on November 16th
on the ANTARES web site:
https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/index.jsp
The candidate should then immediately send his full application
to the two reviewers, and no later than the 17th of December 2010.

Second stage: Application
-------------------------

Once the 'qualification' is obtained, the candidate should send
his full application to the University Paris Diderot, with a resume,
a research project and referee letters.

All necessary information about that step will appear on the web
site https://www.pps.jussieu.fr/annonces/2010-mdc later on.


Contact information
-------------------

The interested candidates may contact us by email at
candidats at sympa.mancoosi.univ-paris-diderot.fr

-- 
--Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identic.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
   MIME accepted
   Word deprecated, http://www.rfc1149.net/documents/whynotword
------------------------------------------------------------------