Two positions of Associate Professor (maître de conférences) are available at University Paris-Est Créteil

Research activities of LACL focus on theory in computer science. More specifically, research at LACL is structured around two teams, Systems Specification and Verification and Logic, Computation and Programming. Candidates are invited to propose integration in these teams, with a particular focus on

Computational models (cellular automata, symbolic dynamics, logic, …)
Model-checking (quantitative approach, service quality, performance evaluation, …) and proofs

Position 4236 (Galaxie) at Faculty of Sciences and Technology of U-PEC (Créteil)

Position 4212 (Galaxie) at Computer Science Department of IUT Sénart/Fontainebleau (Fontainebleau)

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