Ingénieur Scientifique Contractuel - Algorithmique et Cryptologie - Développement du Logiciel de Calcul Formel Pari - Gp H/F - INRIA

A propos d'Inria

Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.

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

Type de contrat : CDD

Niveau de diplôme exigé : Bac +5 ou équivalent

Fonction : Ingénieur scientifique contractuel

A propos du centre ou de la direction fonctionnelle

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 coeur 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...

Contexte et atouts du poste

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 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 dePari/GP au sein de l', sous-ensemble de l'équipe de recherche en théorie des nombres de l'institut de mathématiques de Bordeaux (IMBUMR 5251 du CNRS), qui a acquis une renommée internationale en théorie algorithmique des nombres.

Mission confiée

Missions :
Avec l'aide d' et , 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 :.

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

Principales activités

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

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

Avantages

- 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 oeuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale

Rémunération

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.