Pour la rentrée de septembre 2026, le LACL offre trois postes de maître ou maîtresse de conférences.
- Un poste, profilé Méthodes formelles, programmation, calculs parallèles/distribués et plus précisément avec une expérience dans le design de
langages (compilation, sémantiques formelles, typages, etc.) de haut-niveau pour les architectures et
systèmes parallèles/distribués ou les outils de preuves informatisées. Les enseignements se feront au sein de la spécialité « systèmes d'information » de l'école d'ingénieurs EPISEN ;
- Un poste, profilé Informatique fondamentale avec priorité pour la thématique « Modèles de calcul », en lien avec la topologie, puis pour la thématique « Aspects calculatoires des théories mathématiques ». Les enseignements se feront au sein du département d'informatique de l'IUT de Créteil-Vitry ;
- Un poste, profilé Informatique théorique ou fondamentale, en particulier sur les thématiques autour la vérification et des méthodes formelles. Les enseignements se feront au sein du département d'informatique de l'IUT de Sénart-Fontainebleau.
Les excellentes candidatures pouvant s’insérer clairement dans une des thématiques du laboratoire sont aussi invitées à candidater sur ces 3 postes.