Ingénieur scientifique contractuel / Algorithmique et cryptologie / Développement du logiciel de calcul formel Pari/GP

Le centre Inria de l’université de Bordeaux est un des neuf centres d’Inria en France et compte une vingtaine d’équipes de recherche. Le centre Inria est un acteur majeur et reconnu dans le domaine des sciences numériques. Il est au cœur d'un riche écosystème de R&D et d’innovation : PME fortement innovantes, grands groupes industriels, pôles de compétitivité, acteurs de la recherche et de l’enseignement supérieur, laboratoires d'excellence, institut de recherche technologique…

Le poste s'inscrit dans le cadre du projet cryptanlyse du PEPR Cybersécurité rassemblant de nombreuses équipes de recherche françaises autour de la cryptanalyse de primitives cryptographiques classiques. Une partie du projet concerne la cryptanalyse des propositions fondées sur les groupes de classes de corps quadratiques imaginaires, impliquant notamment l'équipe INRIA CANARI (Bordeaux) mais également l'équipe INRIA CARAMBA (Nancy) et l'équipe ECO (Montpellier). 

L'objectif est de développer le logiciel libre de calcul formel  Pari/GP en renforçant les briques de bases utilisées pour le calcul de groupes de classes. Ceci se fera auprès des principaux développeurs de Pari/GP au sein de l'équipe CANARI, sous-ensemble de l'équipe de recherche en théorie des nombres de l'institut de mathématiques de Bordeaux (IMB UMR 5251 du CNRS), qui a acquis une renommée internationale en théorie algorithmique des nombres.

Missions :
Avec l'aide d'Aurel Page et Bill Allombert, la personne recrutée sera amenée à développer les fonctionnalités de Pari/GP, notamment d'algèbre linéaire creuse.

Pour une meilleure connaissance du sujet de recherche proposé :
Une bibliographie et une courte description du contexte scientifique sont disponibles à l'URL suivante : bibliographie.

Collaboration :
La personne recrutée pourra également échanger avec Guilhem Castagnos sur la cryptographie à base de groupes de classes et avec Cyril Bouvier sur des questions d'implantations et Cado-NFS.

Principales activés :

• lire la littérature décrivant les algorithmes du projet
• se familiariser avec la programmation dans la librairie C Libpari
• implanter, tester et documenter les algorithmes du projet
• rapporter les résultats auprès des autres membres du PEPR Cryptanalyse

Activités complémentaires :

• participer aux Ateliers Pari/GP
• suivant le profil de la personne recrutée, effectuer un travail de recherche en théorie algorithmique des nombres ou en calcul formel

Compétences techniques et niveau requis :

• excellentes compétences en programmation
• connaissance du langage C
• maîtrise de l'algèbre linéaire de base

Langues :

• français ou anglais oral
• anglais écrit

Compétences relationnelles :

• collaborer au développement d'un logiciel
• présenter son travail à l'équipe
• lire et comprendre les algorithmes de la littérature de manière autonome

Compétences additionnelles appréciées :

• connaissance du logiciel Pari/GP
• connaissances sur les domaines adjacents (algorithmes de groupes de classes, de factorisation, de logarithmes discrets ou d'algèbre linéaire ; théorie algorithmique des nombres ou calcul formel)
• logiciel de gestion de version git

• Restauration subventionnée
• Transports publics remboursés partiellement
• Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
• Possibilité de télétravail partiel et aménagement du temps de travail
• Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
• Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
• Accès à la formation professionnelle
• Sécurité sociale

Le contrat est un CDD de 2 ans, avec un salaire brut mensuel compris entre 2692€ et 3723€ suivant l'expérience de la personne recrutée.