EXPERIENCE), TYPE THEORY, CATEGORY THEORY, AUTOMATED DEDUCTION, AUTOMATA THEORY. In relation with the above
topics..., an experience in one or several of the following
topics will be particularly appreciated: fixed-points and circular proofs, the Coq... -
Voir cette offre d'emploi