• English
  • français


  • English
  • français

Profils de poste

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

Poste 1438

Poste (référence GALAXIE : 4346) de Maître de conférences, section 27, LACL - Département informatique de l'UFR de Sciences et Technologie de l'U-PEC (Créteil)

Profil recherche

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.

Le profil recherché concerne les outils formels pour la modélisation et la vérification de systèmes. Cette thématique regroupe des chercheurs des deux équipes du laboratoire.

Profil enseignement

Le candidat recruté devra assurer des enseignements et coordonner des travaux pratiques en Informatique. Les enseignements confiés à l’enseignant recruté pourront porter sur la programmation réseau et concurrente ou le développement d'applications mobiles.

Contacts

Poste 1238

Poste (référence GALAXIE : 4391) de Maître de conférences, section 27, LACL - Département informatique de l'IUTSF (Fontainebleau)

Profil recherche

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.

Le profil recherché est un profil de logique. Il aura pour mission de tisser des relations avec les sciences humaines et sociales, comme la philosophie par exemple. Cependant, toutes les candidatures excellentes qui correspondent à l'une des deux équipes de recherche du laboratoire seront examinées et évaluées en détail.

Profil enseignement

Le candidat recruté devra faire son enseignement pour partie en ASR et pour partie en SGBD-ACDA. L’enseignement nécessite de bonnes connaissances théoriques et une très bonne pratique des technologies mises en œuvre dans ces cours : UNIX, TCP-IP, … utilisateur et programmation pour ASR ainsi que modélisation UML, Conception orientée objets, Oracle/MySQL/PostgreSQL par exemple pour SGBD-ACDA.

Ce poste a pour vocation de permettre l'ouverture d’un groupe (26 étudiants) sur le campus de Sénart. La personne recrutée fera son enseignement sur le campus de Sénart en parfaite coordination avec le campus de Fontainebleau.

Contacts

Poste 1438

Poste (référence GALAXIE : 4346) de Maître de conférences, section 27, LACL - Département informatique de l'UFR de Sciences et Technologie de l'U-PEC (Créteil)

Profil recherche

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.

Le profil recherché concerne les outils formels pour la modélisation et la vérification de systèmes. Cette thématique regroupe des chercheurs des deux équipes du laboratoire.

Profil enseignement

Le candidat recruté devra assurer des enseignements et coordonner des travaux pratiques en Informatique. Les enseignements confiés à l’enseignant recruté pourront porter sur la programmation réseau et concurrente ou le développement d'applications mobiles.

Contacts





Address:

LACL, Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
94010 Créteil Cedex

Office:

Flore Tsila
Building P2 - 2nd floor - room 215
Phone: +33 (0)1 45 17 16 47
Fax: +33 (0)1 45 17 66 01

Direction:

Régine Laleau
Building P2 - 2nd floor - room 208
Phone: +33 (0)1 45 17 65 97
Fax: +33 (0)1 45 17 66 01