Chef-fe de projet des développements logiciels en cryptographie du Loria H/F

CNRS
Canton de Nancy-2, France
2 days ago

Role details

Contract type
Permanent contract
Employment type
Part-time (≤ 32 hours)
Working hours
Regular working hours
Languages
French

Job location

Canton de Nancy-2, France

Tech stack

JavaScript
Amazon Web Services (AWS)
C++
Continuous Integration
Cryptographic Protocols
Python
Software Engineering
Rust
Information Technology

Job description

L'ingénieure ou l'ingénieur aura pour mission principale le pilotage et la coordination du développement de logiciels de recherche dans le domaine de la cryptographie et de la sécurité. Parmi les logiciels les plus visibles on peut citer la plateforme de vote électronique Belenios, le logiciel CADO-NFS implémentant l'algorithme de crible algébrique pour la factorisation de grands nombres et le calcul de logarithmes discrets, ainsi que le prouveur TLA+, permettant de garantir l'absence d'erreurs dans des logiciels critiques.

Il ou elle interviendra également en soutien de projets émergeants et à haut potentiel, tels que la cryptographie historique, le fuzzing de protocoles cryptographiques, ou la compilation certifiée de primitives cryptographiques, afin de les amener vers un niveau de maturité élevé. La cryptographie historique en particulier est un domaine interdisciplinaire nouveau dont les premiers résultats ont été salués par la communauté historique, p.ex. grand prix Historia 2024, et dont la suite nécessite un passage à l'échelle. Enfin la personne recrutée sera en charge de la formation des nouveaux développeurs de ces logiciels.

Activités

  • Pilotage et coordination de développements d'envergure, possiblement multi-équipes

  • Être force de proposition pour les projets de recherche liés au développement logiciel en lien avec les experts du domaine

  • Encadrement d'ingénieurs juniors

  • Conception et développement d'outils permettant le traitement automatique d'acquisition de données, p. ex., de textes anciens dans le cadre de la cryptographie historique

  • Développement d'outils et choix technologiques pour l'intégration continue et le benchmarking

  • Responsabilité de la maintenance des logiciels : mise à jour des dépendances, intégration de nouveaux développements, réponse aux utilisateurs et amélioration des documentations, Piloter un projet (expertise)

  • Appliquer les techniques du domaine

  • Mettre en œuvre une démarche qualité (expertise)

  • Accompagner les changements

  • Évaluer une solution informatique ou de télécommunication

  • Déléguer et évaluer

  • Encadrer / Animer une équipe

  • Animer une réunion

  • Initier et conduire des partenariats

  • Assurer une veille technologique, L'ingénieur-e travaillera au sein de l'axe scientifique transverse Cybersécurité du LORIA sur les domaines de la cryptographie et de la sécurité informatique, en particulier la fiabilité des logiciels. Cet axe regroupe 7 équipes du LORIA, dont 4 directement sur les aspects cryptographie et fiabilité des logiciels.

Ces activités ont mené au développement de plusieurs logiciels, tels que la plateforme de vote Belenios (environ 1500 élections et 100 000 électeurs par an), le logiciel CADO-NFS (ayant permis d'atteindre le record mondial actuel de factorisation d'entiers de 240 chiffres, soit 795 bits, record permettant de mieux estimer les tailles adéquates de clés cryptographiques, et récemment récompensé par le prix Levchin qui honore des innovations à fort impact dans la cryptographie et son utilisation dans des systèmes du monde réel) ou encore le prouveur TLA+ utilisé par de grands groupes industriels, tel que Amazon AWS. Ces logiciels intègrent régulièrement des nouveaux résultats de recherche.

Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST) et nécessite que l'arrivée soit autorisée par l'autorité compétente du MESR.

Requirements

Développement informatique, ingénierie logicielle

  • Langages Python, C/C++, Rust, OCaml, JavaScript
  • Programmation bas niveau, au plus proche du système ou du matériel
  • Compétences exigées en cryptographie et en méthodes formelles
  • Compétences souhaitées en humanités numériques

Savoir-faire, Maitriser l'anglais scientifique (communication orale et lecture/écriture de documents)

Savoir-être :

  • Aisance relationnelle
  • Réactivité
  • Rigueur
  • Adaptabilité
  • Capacité à travailler en équipe

Benefits & conditions

Cette fonction ouvre droit à la perception de l'Indemnité de Référence pour les Informaticiens.

About the company

Réservé uniquement aux agents CNRS (fonctionnaires et CDI) Intitulé de l'offre : Chef-fe de projet des développements logiciels en cryptographie du Loria H/F, Le LORIA, Laboratoire lOrrain de Recherche en Informatique et ses Applications est une Unité Mixte de Recherche, ayant deux tutelles principales : le CNRS et l'Université de Lorraine ainsi que deux partenaires: Inria et CentraleSupélec. Le laboratoire compte environ 500 agents. Il est structuré en 5 départements scientifiques avec 28 équipes dont 14 EPC (Equipes Projets Communes) communes avec le centre Inria et 4 plateformes. L'unité comporte 4 services support : le service de gestion, un service de communication, un service informatique mutualisé avec le Centre Inria et un service de soutien à la recherche (SISR) dans lequel il ou elle sera intégrée (11 ingénieurs dont 6 permanents).

Apply for this position