Doctorant (H/F) en logique et fondements mathématiques de l'informatique

Doctorant (H/F) en logique et fondements mathématiques de l'informatique

Veuillez partager cette page sur Facebook, Twitter et LinkedIn.

• Fonction publique: Fonction publique de l'État
• Employeur: Centre national de la recherche scientifique (CNRS)

Nature de l’emploi: Emploi ouvert uniquement aux contractuels

Nature du contrat: CDD de 3 ans

Rémunération: (fourchette indicative pour les contractuels) La rémunération est d'un minimum de 2135,00 € brut mensuel

Sujet de thèse:
Ce projet s'inscrit dans l'approche ”Mathematical Informatics” introduite récemment par T. Seiller. Une partie de ce programme propose une définition formelle d'algorithme, fondée sur une notion de "structure de donnée abstraite". La personne recrutée travaillera sur ces notions dans trois directions. Premièrement, il s'agira de clarifier la relation entre cette proposition de définition formelle d'algorithme et les propositions de Y. Gurevich (abstract state machines) et Y. Moschovakis (recurseurs). Deuxièmement, on cherchera à comprendre la relation entre la notion de structure de donnée abstraite et les formules logiques, au travers de la correspondance de Curry-Howard (correspondance preuves-programmes). Troisièmement, nous chercherons à développer une théorie de l'approximation des algorithmes, afin de parler de la convergence d'une suite de programme vers un algorithme. Cette troisième partie sera complémentée par des expériences sur des programmes obtenus par apprentissage.

Contexte:
La recherche s'effectuera au Laboratoire d'Informatique de Paris Nord (LIPN, UMR7030), et plus spécifiquement dans l'équipe "Logique et Vérification". La personne recrutée prendra part aux activités régulières de l'équipe (e.g. séminaires, groupes de travail), ainsi qu'aux activités du laboratoire (e.g. journées thématiques, séminaire des non permanents).

Profil recherché

Contraintes et risques:
Ce poste ne présente pas de risques particuliers.

Niveau d'études minimum requis

• Niveau: Niveau 7 Master/diplômes équivalents

C’est l’une des plus importantes institutions publiques au monde : 33 000 femmes et hommes (dont plus de 16000 chercheurs et plus de 16000 ingénieurs et techniciens), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines.

#J-18808-Ljbffr