POST DOC « Structures de dimension deux et supérieure pour la logique et le calcul » H/F
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
Vos missions en quelques mots
Missions :
Le Centre international de Mathématique (CIRM) accueillera Marcelo FIORE (University of Cambridge) de janvier à juin 2027, lauréat de la chaire Jean Morlet. En résidence au CIRM, FIORE mènera, en coopération avec Lionel VAUX AUCLAIR (I2M, Aix-Marseille Université), le programme de recherche « Structures de dimension deux et supérieure pour la logique et le calcul ». La/le Post Doc aura pour mission de soutenir l’organisation des activités de la chaire, et de participer à la conduite de son programme scientifique, ainsi que de collaborer avec l’équipe LDP (Logique de la Programmation) à l’I2M. Pas d'enseignements requis.
Activités :
Il/elle contribuera à l'écriture d'articles scientifiques, à la coordination des différentes activités de recherche de la chaire.
Il/elle participera aux évènements du programme. Il/elle participera également à la valorisation et à la communication de ce programme.
Il/elle contribuera aux activités de diffusion et de vulgarisation organisés par le CIRM.
Contexte de travail :
Le CIRM est une unité d’appui à la recherche (UAR 822) ayant pour tutelles le Centre National pour la Recherche Scientifique (CNRS) la Société Mathématique de France (SMF) et l'Université d'Aix-Marseille (AMU). Le CIRM est rattaché à l'Institut National des Sciences Mathématiques et de leurs Interactions (INSMI).
Situé sur le campus de Luminy à Marseille, le CIRM est le plus grand centre de rencontres mathématiques du monde par sa fréquentation. Nous accueillons plus de 5000 chercheurs par an qui participent à 120 événements mathématiques internationaux.
Chaque année, le CIRM accueille pour 6 mois deux mathématiciens de haut niveau dans le cadre de la Chaire Jean Morlet. Chaque semestre de la Chaire est destiné à un.e chercheur.se de renommée internationale, issu.e d’une institution étrangère et porteur.se d’un projet associant étroitement les unités de recherche d’Aix- Marseille Université. Avec l’aide d’un porteur local, le ou la titulaire organise un programme scientifique. L’idée est non seulement d’établir une collaboration à un niveau international, mais également de développer de fortes synergies entre les laboratoires, les chercheurs et les doctorants, au sein de la communauté mathématique et au-delà. La Chaire est ouverte à tous les domaines des sciences mathématiques et mathématiques en interaction.
Chaque semestre se construit autour d’un large programme d’activités scientifiques (1 conférence, 1 école de recherche, 1 à 2 workshops, 2 recherches en binômes, mais également d’autres activités parallèles telle que des Masterclasses, conférences à la FRUMAM etc.). Il est organisé en parallèle avec un programme d’environnement d’invitations de collaborateurs, doctorants et post-doctorants, invités spéciaux etc. Ce dernier apporte un financement supplémentaire à la Chaire ainsi qu’une visibilité internationale.
Ce programme internationalement reconnu depuis sa création en 2013 e
Voir plus sur le site emploi.cnrs.fr...
Profil recherché
Competences :
Nous recherchons un(e) jeune chercheur(se) travaillant sur au moins une des thématiques suivantes : algèbre catégorique ; algèbre homotopique ; assistants de preuves ; cadres logiques (logical frameworks) ; formalisation des mathématiques ; logique catégorique ; logique linéaire ; logique linéaire différentielle ; systèmes logiques ; théorie des catégories de dimension supérieure.
Note : un (bref) projet de recherche pour les 12 mois de contrat est à inclure avec la lettre de motivation
Contraintes et risques :
Niveau d'études minimum requis
- Niveau Niveau 8 Doctorat/diplômes équivalents
- Spécialisation Formations générales
Langues
- Français Seuil