Chef de projet ou expert en ingénierie logicielle (H/F)

Description du Poste

Les Missions

Conduire la maîtrise d'œuvre de projets logiciels sur une ou plusieurs phases du cycle de vie : analyse, conception, développement, test, intégration, et déploiement dans le respect du cahier de charges, des normes et des règles de sécurité.

Travailler dans un réseau d'ingénieurs en soutien de chercheurs localisés sur des sites différents.

L'Activité

- Piloter des projets logiciels sur tout ou une partie de leur cycle de vie,
- Analyser les besoins et participer à la réalisation du cahier de charges fonctionnel du projet,
- Assurer la conception de la solution au moyen d’expertises approfondies,
- Réaliser le développement des logiciels,
- Concevoir, spécifier et exécuter des tests en regard des exigences et des spécifications fonctionnelles et en suivant une stratégie de tests définie,
- Assurer une veille technologique en relation avec le domaine d’application et les experts du domaine,
- Assurer le déploiement dans un objectif de diffusion et de valorisation, notamment auprès de la communauté internationale ou des partenaires industriels,
- Déployer, configurer et maintenir des serveurs, notamment pour l'intégration continue, pour la compilation, les tests, le packaging et le déploiement automatique,
- Assurer une assistance fonctionnelle et/ou technique aux exploitants et aux utilisateurs,
- Rédiger et mettre à niveau les documentations techniques et fonctionnelles.

Votre Profil

Compétences

- Connaissances :
- Conduite de projet et génie logiciel,
- Outils de développement logiciels (utilisation collaborative de git, CI/CD/ Docker,…),
- Langage de programmation fonctionnelle, idéalement Ocaml. Une connaissance d'autres langages fonctionnels, par exemple Haskell, sera bien vue,
- Usage des assistants de preuve tels que Rocq (ex-Coq) ou Lean.
- Langage de script (Python),
- Méthodologie de tests,
- Programmation système (notamment parallèle/multi-thread) et réseaux IP (en C/C++),
- Administration système GNU/Linux,
- Anglais niveau B2 minimum / C1 pour les profils non-francophones.

- Savoir-faire
- Piloter un projet,
- Effectuer une analyse des besoins,
- Respecter les dispositions de qualités, et les normes de programmation et sécurité informatique,
- Élaborer et mettre en œuvre un plan de tests,
- Packager une application,
- Rédiger et mettre à jour la documentation fonctionnelle et technique.

- Savoirs-être
- Travailler en équipe et en réseau,
- Faire preuve de méthode et de rigueur,
- Être créatif et avoir un bon sens relationnel,
- Faire preuve de pédagogie avec les utilisateurs.

Votre Environnement de Travail

La personne recrutée sera mutualisée entre trois laboratoires d'informatique en Île de France : IRIF (https://www.irif.fr/), LIPN (https://lipn.univ-paris13.fr/) et LMF (https://lmf.cnrs.fr/). Ses missions seront réalisées sous la responsabilité d'un IR CNRS du LIPN, chef de projets logiciels. Le lieu de travail pourra toutefois être n'importe lequel des trois laboratoires en fonction des besoins des projets. De plus, le télétravail peut être envisagé selon la réglementation en place au CNRS.

Chaque laboratoire concerné développe des logiciels directement issus ou comme support de ses recherches. Les projets listés ci-dessous sont des exemples de projets dont la personne recrutée pourra être en charge et des missions y associés :

- SSTT (https://github.com/E-Sh4rk/sstt) : est une bibliothèque constituant une implémentation de référence des types ensemblistes. Les missions incluent la consolidation des fonctionnalités nouvelles issues de la recherche (enregistrement polymorphes, types abstraits, …) ainsi que des tâches de maintenance (maintien de la compatibilité avec OCaml, release, documentation, tests, …).

- Usuba (https://usubalang.github.io/usuba/) : Usuba est un langage de programmation dédié à la cryptographie symétrique haute-performance. Son compilateur est implémenté en OCaml. Les missions incluent le déploiement d'un système d'intégration continue et des refactorisations de code.

- Cubicle (https://cubicle.lri.fr/) : Cubicle est un model-checker permettant de vérifier des propriétés de sûreté de systèmes manipulant des tableaux. Les missions incluent le portage à OCaml 5.0 Multicore, l'interface graphique, la compilation sous Windows.

- SPEN (https://www.irif.fr/~sighirea/spen/) : SPEN est un solveur pour la logique de séparation. Il est utilisé pour la vérification de programmes avec un tas mutable (C, Java, etc). Il est développé en C et en OCaml. SPEN participe à la compétition des solveurs pour la logique de séparation, SL-COMP. Les missions incluent la mise à jour du code sur les plateformes de la compétition SL-COMP, l'intégration du parseur de la compétition et du typeur OCaml pour SMTLIB2.

- IMITATOR (https://www.imitator.fr/) : Model checker pour la vérification de systèmes temporisés paramétrés. Il est codé en OCaml. Les missions incluent une extension de la syntaxe, et une amélioration du système multi-cœur avec les nouvelles fonctionnalités apportées par Ocaml 5.

- PMC-SOG (https://lipn.univ-paris13.fr/pmc-sog/) : Model checker parallèle pour la vérification de systèmes concurrents en utilisant le graphe d'observation symbolique. Il est codé en C++ et utilise le mécanisme des threads fourni par C++20. Les missions incluent la parallélisation de tests de vacuité et l'implémentation de la réduction basée sur les ordres partiels.

Rémunération et avantages

Rémunération

À partir de 3237 € bruts par mois, selon l'expérience

Congés et RTT annuels

44 jours

Pratique et Indemnisation du TT

Pratique et indemnisation du TT

Transport

Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€

À propos de l’offre

À propos du CNRS

Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.

Le CNRS

Les métiers de la recherche