[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
====================================================== 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 candid...@sympa.mancoosi.univ-paris-diderot.fr -- --Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: robe...@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 ------------------------------------------------------------------