POST DOC « Structures de dimension deux et supérieure pour la logique et le calcul » H/F
Nouveau
- Chercheur en contrat CDD
- 12 mois
- Doctorat
L'offre en un coup d'oeil
L'unité
Centre international de rencontres mathématiques
Type de Contrat
Chercheur en contrat CDD
Temps de Travail
Complet
Lieu de Travail
13288 MARSEILLE 09
Durée du contrat
12 mois
Date d'Embauche
01/01/2027
Rémuneration
3132.83
Postuler Date limite de candidature : lundi 9 novembre 2026 23:59
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.
Créer une alerte
Ne manquez aucune opportunité de trouver le poste qui vous correspond. Inscrivez-vous gratuitement et recevez les nouvelles offres directement dans votre boite mail.