• English
  • français


  • English
  • français

Profils de poste

Un poste de maître de conférences en informatique et un poste de professeur en informatique sont à pourvoir à l'Université Paris-Est Créteil

Poste MCF

Poste (référence GALAXIE : 4299) 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 la modélisation de systèmes complexes et l'étude de modèles de calcul adaptés à la modélisation et la vérification de ces 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é porteront sur la programmation, les bases de données, l'algorithmique et complexité.

Contacts

Poste PR

Poste (référence GALAXIE : 4309) de Professeur des universités, 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.

Afin de renforcer les liens entre les deux équipes du laboratoire, le profil demandé est à la croisée des domaines de la logique et de la spécification de systèmes dans le but de définir des langages et des théories dédiés.

Profil enseignement

Le champ disciplinaire gère la filière informatique qui comprend une licence mention informatique et un master informatique (parcours recherche, professionnel, apprentissage) avec une spécialité de master « Sécurité des systèmes informatiques (SSI) ».

Les enseignements confiés à l'enseignant recruté porteront sur les méthodologies de développement de programmes, le middleware, les bases de données, la programmation avancée, l'algorithmique et la complexité.

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 223
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 243
Phone: +33 (0)1 45 17 65 97
Fax: +33 (0)1 45 17 66 01