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.