caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Positions in Paris 7 University
@ 2001-12-06 16:35 Pierre-Louis Curien
  0 siblings, 0 replies; only message in thread
From: Pierre-Louis Curien @ 2001-12-06 16:35 UTC (permalink / raw)
  To: amast, bra-types, categories, concurrency, coq-club, cs-logic,
	csl, lfcs-interest, lics, logic, logic, prog-lang, prog-lang,
	rewriting, types, caml-list, pps, liafadiffusion

[-- Attachment #1: Type: text/plain, Size: 2023 bytes --]



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

[-- Attachment #2: Type: text/enriched, Size: 2137 bytes --]

<center>


Universite Paris 7 - CNRS

</center>

<center>Laboratoire d'Informatique Algorithmique : Fondements et
Applications (LIAFA)

Laboratoire Preuves,, Programmes et Systemes  (PPS)


APPEL A CANDIDATURES /  ANNOUNCEMENT 


</center>

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


<underline><color><param>1A1A,1A1A,FFFF</param>http://www.liafa.jussieu.fr

http://www.pps.jussieu.fr

</color></underline>


Contact : 


Daniel KROB - Directeur du LIAFA - dk@liafa.jussieu.fr

Pierre-Louis CURIEN - Directeur de PPS - curien@pps.jussieu.fr

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2001-12-06 19:54 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-12-06 16:35 [Caml-list] Positions in Paris 7 University Pierre-Louis Curien

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).