Vos missions en quelques mots 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 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 Voir plus sur le site emploi.cnrs.fr Profil recherché Competences : - 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. Contraintes et risques : Niveau d'études minimum requis Niveau Niveau 7 Master/diplômes équivalents Spécialisation Informatique, traitement de l'information, réseau de transmission des données Langues Français Seuil
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.