Descriptif du poste: 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. Profil recherché: 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 Quelle sera votre rémunération ? Une rémunération annuelle brute à partir de 42.9K€ (versée sur 14 mois) en fonction de votre expérience et de votre rémunération actuelle. Votre futur environnement de travail ? Intégrer la CNAF, c'est aussi pouvoir bénéficier de nombreux avantages : * Possibilité de télétravail (jusqu'à 3 jours par semaine), * Flexibilité des horaires de travail, * Jusqu'à 20 RTT / an, * Transport : remboursement à 75% de votre abonnement, bénéfice d'un forfait mobilité durable d'un maximum de 800€/an si vous utilisez des modes de transport alternatifs à la voiture individuelle, * Tickets restaurant (pris en charge à hauteur de 60%), * CSE avec des œuvres sociales avantageuses (sport, loisirs, voyages.), * Une prime d'intéressement. Dans le cadre de sa politique de diversité, la CNAF ouvre ses offres d'emploi à toutes les candidatures.