Postdoctorant (H/F): Fondements Mathématiques de l’Informatique (M/F)

Centre National de la Recherche Scientifique

Cette offre est disponible dans les langues suivantes :
- Français - - Anglais

Date Limite Candidature : vendredi 7 avril 2023

Informations générales

Intitulé de l’offre : Postdoctorant (H/F): Fondements Mathématiques de l’Informatique
Référence : UMR7030-THOSEI-001
Nombre de Postes : 1
Lieu de travail : VILLETANEUSE
Date de publication : vendredi 17 mars 2023
Type de contrat : CDD Scientifique
Durée du contrat : 12 mois
Date d’embauche prévue : 1 mai 2023
Quotité de travail : Temps complet
Rémunération : Entre 2793 et 3946 € brut mensuel selon experience
Niveau d’études souhaité : Doctorat
Expérience souhaitée : 1 à 4 années
Section(s) CN : Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations

Missions

La personne recrutée intègrera l’axe "Logique" de l’équipe "Logique et Vérification" du Laboratoire d’Informatique de Paris Nord.

Activités

La personne recrutée participera aux activités de recherche du projet ANR DySCo (Dynamical Systems and Computation: a logical approach) porté par Thomas Seiller, et plus particulièrement sur les aspects du projet relevant à établir une approche de la théorie de la calculabilité basée sur la notion d’action de monoide.

Compétences

Le candidat (H/F) devra être titulaire d’un doctorat et avoir une experience de recherche en logique. Une expertise sur les sujets suivants sera par ailleurs appréciée: actions de monoides, théorie des catégories, calculabilité.

Contexte de travail

Le laboratoire d’Informatique de Paris Nord est situé sur le campus de Villetaneuse de l’Université Sorbonne Paris Nord. Il s’agit d’un environnement de recherche stimulant et international, avec une vie scientifique de haute qualité, des séminaires et groupes de travail hebdomadaires.

Contraintes et risques

Pas de contraintes ni de risques spécifiques.