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

Nouveau

Centre international de rencontres mathématiques

MARSEILLE 09 • Bouches-du-Rhône

  • Chercheur en contrat CDD
  • 12 mois
  • Doctorat

This offer is available in English version

Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée.

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.

Le CNRS

Les métiers de la recherche

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.

Créer une alerte

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

Chercheur en contrat CDD • 12 mois • Doctorat • MARSEILLE 09

Ces offres pourraient aussi vous intéresser !

    Toutes les offres