Profils de poste

Deux postes de maître de conférences en informatique sont à pourvoir à l'Université Paris-Est Créteil

Les activités de recherche du LACL sont en informatique fondamentale. Plus précisément, les axes de recherche sont Spécification et vérification de systèmes d'une part et Logique, calcul et programmation d'autre part. Ces deux axes ont comme socle commun la logique comme outil de spécification et de description formelles.

La politique scientifique du LACL est de consolider ces deux axes sans chercher à élargir les thèmes actuels du laboratoire. Les thématiques de recherche mises en avant pour ces concours concernent :

• modèles de calcul (dont automate cellulaire, dynamiques symboliques, logique, …)
• model-checking (dont approche quantitative, qualité de service, évaluation de performance, …) et preuves

Cependant, l'intégration dans le LACL étant la première priorité, toutes les excellentes candidatures qui correspondent à l'un de ces deux axes de recherche du laboratoire seront examinées et évaluées en détail.

• Equipe Logique, calcul et programmation : Patrick Cégielski
• Equipe Spécification et vérification de systèmes : Catalin Dima
• Directrice du LACL : Régine Laleau

Le poste 4236 (Galaxie) est à l'UFR de Sciences et Technologie de l'U-PEC (Créteil)

• Responsable du département informatique : Nihal Pekergin (01 45 17 16 43)

Le poste 4212 (Galaxie) est au Département Informatique de l'IUT Sénart/Fontainebleau (Fontainebleau)

• Responsable du département informatique : Frédéric Gervais (01 60 74 68 02)