[TYPES/announce] Associate professor position at PPS (Paris, France): programming in the large, theory and applications

Roberto Di Cosmo roberto at dicosmo.org
Tue Jan 18 14:58:29 EST 2011

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) is being
opened within the Laboratory PPS located at University Paris Diderot (see:

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.

You can find more information on what is a 'Maitre de Conference',
including an approximate salary scale, on a french page on Wikipedia

Important dates

 Date of formal publication
 of the position:              Februrary 24th 2011

 Deadline for sending the
 complete application:         March 25th 2011

 Expected date of the 
 interview of candidates       May 2011

 Start of the position         September 2011

Research area of the position

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,
especially free and open source software.

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

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.

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).

Application procedure

The candidates will need to enter their application through the French
nationwide portal Galaxie, starting from February 24th


and are required to have previously obtained a 'qualification' (if you do
not know what this is, we are afraid it will be too late to obtain one).


Interested candidates are invited to contact us 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
   MIME accepted
   Word deprecated, http://www.rfc1149.net/documents/whynotword
Office location:
Bureau 6C08 (6th floor)
175, rue du Chevaleret, XIII
Metro Chevaleret, ligne 6

More information about the Types-announce mailing list