Nantes Université Recrute - Université de Nantes

Université de Nantes

Entreprise vérifiée

Nantes, France

il y a 3 semaines

Posté par:

Sophie Dupont

beBee Recruiter

Description

Campus Lombarderie- Laboratoire LS2N - UFR Sciences et techniques
- 2 Chemin. de la Houssinière, 44322 Nantes-
- Contrat post-doctoral - CDD 17 mois à compter du 16/01/2023 - Article L du code de la Recherche
- Plan d'accès

**MISSIONS**
Le poste s'inscrit dans le cadre du projet de recherche PriCLeSS dédié à l'étude des problèmes légaux et techniques en lien avec le stockage de données dans les blockchains. Le ou la titulaire du poste devra identifier des questions ouvertes et y répondre, soit en proposant des outils de modélisation mathématique et en prouvant des théorèmes pour justifier de leur pertinence, soit en proposant des algorithmes ou des théorèmes d'impossibilité, soit en développant et évaluant des implémentations concrètes de ces algorithmes.

**ACTIVITES PRINCIPALES**
Devoir comprendre les implications de textes de droit qui s'appliquent à la conception, à l'implémentation et à l'usage des systèmes à base de blockchain. Il ou elle sera assistée dans cette tâche par l'équipe IODE du département de droit de l'Université de Rennes 2, notre partenaire dans le projet PriCLeSS.

Proposer des modélisations logiques et/ou informatiques issues des textes de loi précédemment cités dans le but de pouvoir prouver mathématiquement, u vérifier informatiquement, la conformance légale d'un programme informatique.

Prouver des résultats de calculabilité (possibilité et impossibilité) en lien avec des problèmes répartis ou légaux, soit en proposant de nouveaux algorithmes, soit en démontrant des théorèmes d'impossibilité.

Implémenter et évaluer de nouveaux protocoles de blockchain.

Prouver l'inexistence de primitives de communication ayant certaines propriétés de calculabilité. Cette tâche requiert une formalisation abstraite de la notion de primitive de diffusion en général.

Rédiger des articles de recherche en vue de publier dans les meilleures conférences du domaine (PODC, DISC...)
- Date de la commission de recrutement**: semaine 1**:

- Date de prise de fonctions **:16/01/2023