From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA00657; Thu, 6 Dec 2001 20:54:08 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA00631 for caml-list@pauillac.inria.fr; Thu, 6 Dec 2001 20:54:06 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA29585 for ; Thu, 6 Dec 2001 17:36:36 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id fB6GaZb24472 for ; Thu, 6 Dec 2001 17:36:35 +0100 (MET) Received: from foobar.pps.jussieu.fr (IDENT:root@foobar.pps.jussieu.fr [134.157.168.2]) by shiva.jussieu.fr (8.12.1/jtpda-5.4) with ESMTP id fB6Ga4YD051798 ; Thu, 6 Dec 2001 17:36:04 +0100 (CET) Received: from potassium (potassium.pps.jussieu.fr [134.157.168.19]) by foobar.pps.jussieu.fr (8.11.0/jtpda-5.3.2) with ESMTP id fB6GjWN10980 ; Thu, 6 Dec 2001 17:45:32 +0100 Date: Thu, 6 Dec 2001 17:35:59 +0100 Mime-Version: 1.0 (Apple Message framework v472) Content-Type: multipart/alternative; boundary=Apple-Mail-1--715411045 Subject: [Caml-list] Positions in Paris 7 University From: Pierre-Louis Curien To: amast@cs.utwente.nl, bra-types@cs.chalmers.se, categories@mta.ca, concurrency@cwi.nl, coq-club@pauillac.inria.fr, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, prog-lang@daimi.aau.dk, prog-lang@diku.dk, rewriting@ens-lyon.fr, types@cis.upenn.edu, caml-list@inria.fr, pps@pps.jussieu.fr, liafadiffusion@liafa.jussieu.fr Message-Id: <54A7FC46-EA67-11D5-BA7E-003065546D32@pps.jussieu.fr> X-Mailer: Apple Mail (2.472) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --Apple-Mail-1--715411045 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed Universite Paris 7 - CNRS Laboratoire d'Informatique Algorithmique : Fondements et Applications (LIAFA) Laboratoire Preuves,, Programmes et Systemes (PPS) APPEL A CANDIDATURES / ANNOUNCEMENT Il y aura au concours 2002 / University Paris 7 will hire in 2002 - 2 postes de professeur d'universite / 2 professors - 3 postes de maitres de conferences / 3 assistant professors en informatique / in computer science. La recherche en informatique est repartie sur deux laboratoires / There are two computer science laboratories at Paris 7: - LIAFA (algorithms and combinatorics, automata, modelisation and verification) - PPS (logic and programming) Les deux laboratoires souhaitent renforcer et elargir leurs thematiques / Both laboratories seek to reinforce and enlarge their research themes. Profils recherches / some possible research profiles for applicants - tous les domaines de competence actuels des deux laboratoires / all present themes of LIAFA and PPS - LIAFA: bases de donnees, bio-informatique, cryptographie, ingenierie de la langue, systemes a evenements discrets / data bases, bio-informatics, cryptography, computational linguistics, discrete event systems - PPS: nous recherchons une ouverture sur les objets, ainsi que sur concurrence et mobilite / we seek expertise on objects, and on mobility and concurrency Application information: The positions will be officially open for application in early 2002. Only candidates who have gone through the national Qualification procedure (application during the autumn of year n for applying to a position in year n+1) are eligible. Rather fluent knowledge of French is expected for teaching. The five positions are permanent positions, starting october 2002. Pour plus d'information sur les deux laboratoires / URL links of the two labs http://www.liafa.jussieu.fr http://www.pps.jussieu.fr Contact : Daniel KROB - Directeur du LIAFA - dk@liafa.jussieu.fr Pierre-Louis CURIEN - Directeur de PPS - curien@pps.jussieu.fr --Apple-Mail-1--715411045 Content-Transfer-Encoding: 7bit Content-Type: text/enriched; charset=US-ASCII
Universite Paris 7 - CNRS
Laboratoire d'Informatique Algorithmique : Fondements et Applications (LIAFA) Laboratoire Preuves,, Programmes et Systemes (PPS) APPEL A CANDIDATURES / ANNOUNCEMENT
Il y aura au concours 2002 / University Paris 7 will hire in 2002 - 2 postes de professeur d'universite / 2 professors - 3 postes de maitres de conferences / 3 assistant professors en informatique / in computer science. La recherche en informatique est repartie sur deux laboratoires / There are two computer science laboratories at Paris 7: - LIAFA (algorithms and combinatorics, automata, modelisation and verification) - PPS (logic and programming) Les deux laboratoires souhaitent renforcer et elargir leurs thematiques / Both laboratories seek to reinforce and enlarge their research themes. Profils recherches / some possible research profiles for applicants - tous les domaines de competence actuels des deux laboratoires / all present themes of LIAFA and PPS - LIAFA: bases de donnees, bio-informatique, cryptographie, ingenierie de la langue, systemes a evenements discrets / data bases, bio-informatics, cryptography, computational linguistics, discrete event systems - PPS: nous recherchons une ouverture sur les objets, ainsi que sur concurrence et mobilite / we seek expertise on objects, and on mobility and concurrency Application information: The positions will be officially open for application in early 2002. Only candidates who have gone through the national Qualification procedure (application during the autumn of year n for applying to a position in year n+1) are eligible. Rather fluent knowledge of French is expected for teaching. The five positions are permanent positions, starting october 2002. Pour plus d'information sur les deux laboratoires / URL links of the two labs 1A1A,1A1A,FFFFhttp://www.liafa.jussieu.fr http://www.pps.jussieu.fr Contact : Daniel KROB - Directeur du LIAFA - dk@liafa.jussieu.fr Pierre-Louis CURIEN - Directeur de PPS - curien@pps.jussieu.fr --Apple-Mail-1--715411045-- ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr