En poursuivant votre navigation sur ce site, vous acceptez le dépôt de cookies dans votre navigateur. (En savoir plus)
Portail > Offres > Offre UMR7030-THOSEI-001 - Postdoctorant (H/F): Fondements Mathématiques de l'Informatique

Postdoctoral researcher (M/F): Mathematical foundations of computer science

This offer is available in the following languages:
- Français-- Anglais

Date Limite Candidature : vendredi 7 avril 2023

Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler. Les informations de votre profil complètent celles associées à chaque candidature. Afin d’augmenter votre visibilité sur notre Portail Emploi et ainsi permettre aux recruteurs de consulter votre profil candidat, vous avez la possibilité de déposer votre CV dans notre CVThèque en un clic !

Informations générales

Intitulé de l'offre : Postdoctoral researcher (M/F): Mathematical foundations of computer science (H/F)
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 : Gross salary between 2793 and 3946 € per month depending on experience
Niveau d'études souhaité : Doctorat
Expérience souhaitée : 1 à 4 années
Section(s) CN : Information sciences: bases of information technology, calculations, algorithms, representations, uses

Missions

The recruited researcher will integrate the “Logic” axis of the “Logic and Verification” team at LIPN (Laboratoire d'informatique de Paris Nord).

Activités

The recruited researcher will participate in the scientific activities of the ANR project DySCo (Dynamical Systems and Complexity: a logical approach) lead by Thomas Seiller, and more specifically on the aspects of the project aiming to establish an approach to computability theory based on the theory of monoid actions.

Compétences

The applicant will have to hold a doctorate degree and research experience in logic. Moreover, expertise in one or more of the following topics will be appreciated: monoid actions, category theory, computability theory.

Contexte de travail

The LIPN (Laboratoire d'Informatique de Paris Nord) is located in the Villetaneuse campus of Sorbonne Paris Nord university. It provides a stimulating and international environment, with a high quality and dynamic activity, including weekly seminars and working groups.

Contraintes et risques

No specific constraints or risks.