Publié le 04-05-2025
Référence CSP:
UMR7030-JAIARI-002
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.
Activités :
- 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.
Contexte 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 accord avec la personne recrutée et 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 :
- CDuce (https:
//www.
cduce.
org/) :
CDuce est un langage fonctionnel avec polymorphisme et surcharge.
Les missions incluent la consolidation des fonctionnalités nouvelles issues de la recherche (enregistrement, raffinement de types, .
) ainsi que des tâches de maintenance (maintien de la compatibilité avec OCaml, release, .
).
- 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 sy
Voir plus sur le site emploi.
cnrs.
fr.
.
.
Fiches métiers
