Ingénieur en Production pour la Coq Platform

Le centre Inria d'Université Côte d'Azur regroupe 42 équipes de recherche et 9 services d’appui. Le personnel du centre (500 personnes environ) est composé de scientifiques de différentes nationalités, d’ingénieurs, de techniciens et d’administratifs. Les équipes sont principalement implantées sur les campus universitaires de Sophia Antipolis et Nice ainsi que Montpellier, en lien étroit avec les laboratoires et les établissements de recherche et d'enseignement supérieur (Université Côte d’Azur, CNRS, INRAE, INSERM ...), mais aussi avec les acteurs économiques du territoire.

Présent dans les domaines des neurosciences et biologie computationnelles, la science des données et la modélisation, le génie logiciel et la certification, ainsi que la robotique collaborative, le Centre Inria d’Université Côte d’Azur est un acteur majeur en termes d'excellence scientifique par les résultats obtenus et les collaborations tant au niveau européen qu'international.

L’ingénieur recruté s’intègre au collectif des ingénieurs permanents de l’institut, représenté au niveau d’un centre par le Service d’Expérimentation et de Développement (SED).

Son activité principale s’inscrit dans le cadre de projets d’envergure sur lesquels il est affecté pour une durée donnée, le plus souvent au sein d’une ou plusieurs équipes-projets.

L’assistant de preuve Coq fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, un environnement pour le développement semi-interactif de preuves vérifiées par machine, et une suite d’outils pour la programmation de logiciel sûr à partir des modèles formels.

La Coq Platform est une distribution de Coq accompagnée d’une sélection de bibliothèques et d’extensions. L’objectif principal de la Coq Platform est de fournir une distribution pour développer et enseigner avec Coq qui soit : indépendante du système d’exploitation, fiable, facile à installer et complète.

La première affectation au sein du consortium Coq porte sur une durée de 3 ans.

Mission principale (environ 90 % de son temps)

• Gestion du développement de logiciels au sein des projets de développement sur lesquels la personne est affectée
• Conseil et soutien à l’expérimentation
• Soutien et encadrement pour les développeurs

Mission spécifique pour la première affectation

• Gestion du cycle de release de la Coq Platform
  • coordination avec les auteurs des logiciels packagés dans la platforme
  • production des artefacts (selection des versions, paquets binaires signés)
  • communication sur la release
• Amélioration des outils pour la production de la platforme (scripts, CI, gestionnaire de paquets)
• Amélioration du precessus de release de la platforme et eventuellement du logiciel à son coeur (Coq)
  • road map partagée/integrée et coordination des developpements de deux projets

Missions collectives (environ 10 % de son temps)

Dans le but de mutualiser son savoir-faire, la personne recrutée est amenée à réaliser des activités utiles au collectif des ingénieurs de développement de l’institut.

Activités principales

• Réflexions, mise en place, et coordination d’un mode de fonctionnement entre les développeurs au sein des projets de développement sur lesquels la personne est affectée

  • Présentation des évolutions et des choix techniques
  • Identification des besoins des utilisateurs
  • Roadmap de travail au fil de l’activité
  • Gestion des rapports de bugs et autres demandes d’évolution, revue de code, intégration de nouvelles contributions, gestion de la circulation des variantes du code de leur branche de développement au logiciel distribué

• Travail sur la chaine de production d’un logiciel, du code source aux artefacts distribués aux utilisateurs (binaires, installeurs, images docker, VM, documentation, etc), en passant par l’adaptation du logiciel à de nouvelles cibles (en particulier Linux, Windows et MacOS) et la mise en place et la maintenance des plates-formes d’intégration continue nécessaires

• Rédaction et présentation de documentation

• Mise en place et maintenance des infrastructures pour le développement collaboratif du logiciel

• Mise en place de support de formation à destination des développeurs / utilisateurs au sein de l’équipe

• Conseil et expertise en développement technologique auprès des membres de l’équipe / des équipes / du domaine

Activités collectives

• Formation ponctuelle, séminaires
• Vecteur des bonnes pratiques en génie logiciel et en expérimentation
• Conseils sur des projets de développement

• Connaissances solides et expérience en développement logiciel :

  • maîtrise des langages de programmation suivants: OCaml, Python, script shell
  • architecture logicielle et paradigmes de programmation, génie logiciel, bonnes pratiques et outils de développement logiciel (versionning, documentation, compilation, packaging, CI, CD …)

• Maitrise de la chaîne de développement et de distribution de binaires sur les principales plate-forme (MacOS, Linux et Windows)

• Maîtrise des infrastructures autour du développement : intégration continue, VM de développement, gestionnaire de bugs, versions en ligne.

• Maîtrise de la chaîne de publication : packaging, diffusion.

• Maîtrise des processus de développement : gestion des bugs, des contributions internes comme externes.

• Adaptation du code à d’autres environnements cibles.

• Savoir être : capacité à travailler sous contraintes externes et pragmatisme.

• 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 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 œuvres sociales d'Inria)
• Accès à la formation professionnelle
• Participation mutuelle (sous conditions)

A partir de 2692 € brut mensuel (selon diplôme et expérience)