POST DOC « Structures de dimension deux et supérieure pour la logique et le calcul »

Description du Poste

Les 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.

L'Activité

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.

Votre Profil

Compétences

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

Votre Environnement 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 est l’occasion idéale de promouvoir l’attractivité de la région marseillaise et de valoriser les recherches actuelles et les idées émergentes dans tous les domaines des sciences mathématiques.

Rémunération et avantages

Rémunération

3132.83

Congés et RTT annuels

44 jours

Pratique et Indemnisation du TT

Pratique et indemnisation du TT

Transport

Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€

À propos de l’offre

Référence de l’offre UAR822-SOPRIB-010 Section(s) CN / Domaine de recherche Mathématiques et interactions des mathématiques

À propos du CNRS

Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.

Le CNRS

Les métiers de la recherche