logical foundations of mathematical proof assistants ( ). It will be located at the IRIF lab in Paris.
Travel expenses... postdoc will be to
study more finely the articulation between intuitionistic and classical variants of the axiom of choice... -
Voir cette offre d'emploi