Alain Finkel

Professeur, ENS de Cachan

Projet ACTER
Ce projet vise à former des enseignants volontaires aux bases de l’analyse cognitive des émotions afin qu'ils accompagnent des groupes d’étudiants à l’utilisation de la grille d’analyse des émotions pour améliorer leurs traitements de situations d’apprentissage problématiques. Début envisagé fin juin 2021.

Informatique - Recherche

The computer science laboratory of the ENS Paris-Saclay (LSV) and the computer science laboratory of the university of Bordeaux (LaBRI) are jointly seeking a postdoctoral researcher funded by the ANR project BraVAS on the formal verification of vector addition systems and extensions.

Candidates with experience in logic, automata, formal verification and algorithmics of the verification are encouraged to apply. The candidate will be able to do a theoretical post doc and/or to contribute to a new VASS verification tool. The position is full-time for a fixed term of one year at the LSV. The BraVAS project is presented in full details on the following website
http://bravas.labri.fr/documents.html

Stages de printemps 2020 pour L3, M1
Cerveau prédictif et modèles informatiques

For inquiries, contact the principal investigator, Alain Finkel, at
finkel@lsv.fr

Cours et
Pédagogie
Sciences cognitives
Responsabilités collectives et diverses informations

Archives 2011-2017


À propos du LSV

    

Contact

Alain Finkel
Adresse
LSV, CNRS & ENS Paris-Saclay
4 avenue des sciences, CS 30008,
91192 Gif/Yvette, France

Tél.    +33 01 81 87 54 56
 
Secr.   +33 1 81 87 54 50

E-Mail:  finkel_at_lsv_dot .fr