Votre futur service :
Au sein de la Direction des Systèmes d'Information (DSI), comptant environ 880 collaborateurs, la Direction Prestations Flux et Décisionnel (DPFD) est découpée en 4 départements et vous serez rattaché au département « Prestations Individuelles et Référentiels Métiers » qui est présent sur les sites de Caen, Le Mans et Rennes.
Ce département a pour mission principale de concevoir, développer et maintenir le système d'information lié aux prestations individuelles (prestations versées aux allocataires telles que l'allocation familiale, l'allocation logement, la prime à la naissance, le RSA, la prime d'activité, …). Le département fournit ainsi des moteurs de règles, ainsi que les spécifications fonctionnelles associées afin de calculer le bon droit, au bon moment, pour les allocations versées par les CAF.
Dans le cadre de projets stratégiques pour la branche famille, la ou le candidat intégrera le centre technique Catala de la CNAF.
Catala (https://catala-lang.org/fr/) est un langage de programmation dédié développé par l'Institut National de Recherche en Informatique et en Automatique (Inria), spécialement adapté à la transformation de spécifications juridiques et réglementaires en code informatique. La CNAF ayant décidé de s'appuyer sur Catala pour les projets de modernisation de son système de calcul des prestations sociales, elle souhaite également internaliser des compétences de maintenance sur l'outillage de Catala au travers de ce poste.
Le centre technique Catala a ainsi vocation à produire des contributions open-source sur Catala (https://github.com/CatalaLang/catala), mais aussi à répondre aux besoins d'expertise technique du département « Prestations Individuelles et Référentiels Métiers » pour ses projets liés aux moteurs de calcul des prestations sociales.
Concrètement votre futur quotidien ?
* Participer à la conception et au développement des logiciels informatiques utiles à la CNAF dans le domaine de la compilation et de la conception de langages de programmation, notamment : compilateurs, runtimes, bibliothèque standard, système de build, serveur de langage (LSP), debugger, plugins IDE, etc.
* Assister ponctuellement l'équipe de développement des moteurs de règles écrits en Catala (ou autre technologie), à l'aide par exemple de pair programming avec les équipes métiers, en cas de pic d'activité ou de développement requérant de l'expertise.
* Maintenir la qualité du code produit individuellement et collectivement, et le respect des standards adaptés et des bonnes pratiques d'ingénierie logicielle.
* Organiser voire animer des actions de formation notamment dans le cadre des deux activités précédentes
* Respecter les processus d'organisation interne à la CNAF, notamment la gestion de projets en méthode agile.
* Coordonner techniquement l'équipe affectée au centre technique et faire la liaison avec le pilotage fonctionnel des projets pour la traduction des spécifications en composants technologiques.
* Réaliser des études approfondies sur divers systèmes techniques utilisés à la CNAF et proposer des solutions d'intégration pour satisfaire les contraintes d'architectures globales du SI.
* Rédiger de la documentation technique sur les systèmes utilisés et assurer des formations internes, notamment sur Catala.
* Participer à l'animation des communautés open-source des logiciels utilisés par la CNAF comme Catala.
Des déplacements occasionnels sont à prévoir sur Paris et en province.
Etes-vous notre prochain(e) collaborateur(trice) ?
Afin de mener à bien les missions confiées, vous devrez disposer des compétences et qualités suivantes
* Expertise sur les sujets de conception de langages de programmation, d'outillage d'aide au développement et de développement.
* Connaissances solides en développement logiciel avec notamment : maîtrise d'un langage de programmation fonctionnel (idéalement OCaml), d'un langage de programmation système (C/C++, Rust, etc.), et idéalement d'un langage de programmation orienté objet (Java, C#, etc.).
* Utilisation experte des outils d'organisation du travail de développement logiciel : contrôle de version, intégration continue, outils de gestion de projet, etc.
* Faire preuve d'une bonne qualité rédactionnelle sur des sujets techniques (écriture de la documentation).
* Être capable de travailler en équipe sur des projets collaboratifs et de s'adapter à des missions susceptibles d'évoluer dans le temps.
Idéalement, vous avez déjà mené en autonomie une démarche d'étude inspirée de la méthode scientifique, et/ou possédez des compétences pointues dans un sujet de recherche de méthodes formelles ou d'ingénierie logicielle.
Si vous n'avez pas ces connaissances ou expériences, nous vous dispenserons éventuellement les formations adéquates afin de vous permettre d'acquérir ces compétences, par exemple la formation au langage Catala et à son outillage sous-jacent peuvent être fournies après la prise de poste.
Formations
Vous êtes titulaire d'une formation supérieure de niveau Bac+5 (Master 2 ou diplôme d'ingénieur) spécialisée en ingénierie logicielle ou informatique théorique.
Une connaissance de la théorie et de la pratique de la compilation est souhaitée, idéalement de la compilation d'un langage fonctionnel.
Expériences
Une expérience professionnelle dans le développement logiciel utilisant des langages fonctionnels (OCaml, Haskell, Rust) est souhaitée.
Dans le cadre de ce recrutement, les entretiens se dérouleront selon le calendrier suivant :
* Premier entretien + test technique de ½ heure : le 11 ou 12 mai
* Second entretien : le 26 mai
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.