[ecoop-info] Assistant Professor position at University Paris Diderot

[Giuseppe Castagna]

======================================================
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