Votre espace candidat vous permettra d'accéder à toutes les fonctionnalités du site. Vous pourrez déposer et analyser votre CV, créer des alertes emploi, répondre et postuler directement aux offres et bien d'autres encore. N'attendez plus !
Votre espace recruteur vous permettra d'accéder à toutes les fonctionnalités du site. Vous pourrez déposer et gérer vos offres, consulter notre Cvthèque et bien d'autres encore. N'attendez plus !
Contexte de la thèse L'avènement récent de la théorie des catégories appliquée et les projets de formalisation des mathématiques à grande échelle à l'aide d'assistants de preuve tels que Coq, Isabelle/HOL ou Lean ont ouvert des voies de recherche …