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.