Informaticien – Mathématicien

Date de début de la mission : 04-07-2025Durée de la mission : 180 joursDate de publication de l'offre : 04-07-2025Description de l'offre :Objectif de la missionDans le cadre de la version V3 d’un projet innovant à très forte composante mathématique (architecture déjà protégée via copyright auprès de l’Académie des Sciences), nous recherchons un informaticien à très forte culture mathématique pour accompagner un CTO développeur de haut niveau dans la compréhension et l’implémentation de concepts mathématiques complexes.Le but est d’expliquer, décortiquer, traduire et structurer les démonstrations mathématiques de haut niveau en algorithmes clairs, directement exploitables pour le développement, sans que le CTO n’ait besoin de maîtriser les subtilités mathématiques sous-jacentes.Compétences attenduesCompétences mathématiques (indispensables) :Surfaces et variétés de Riemann (dimension 2)Différentielles en dimension 3Géométrie analytique dans l’espaceThéorème du point fixe de PicardTopologie (métriques exotiques, convergence)Théorie des minimas (locaux / globaux)Fonctions ????∞ et gestion des singularitésConvexité et optimisationThéorie des graphesCalculs en coordonnées sphériques / elliptiques (projection Mercator, Lambert 93)Compétences informatiques :Connaissance des API, du Big DataCapacité à formuler une démonstration mathématique en algorithme clairCapacité à collaborer avec un CTO expérimenté (excellente compétence en développement, peu de connaissances en maths)Savoir-être :Pédagogie, clarté, rigueurCapacité à vulgariser des concepts mathématiques de très haut niveauBonne capacité d’échange avec des chercheurs de renom (interactions prévues avec des chercheurs de Harvard et une médaille Fields)Vous travaillerez en étroite collaboration avec le CTO pour :Décortiquer les démonstrations mathématiquesTraduire les preuves en logiques d’implémentationProduire une modélisation algorithmique fidèle et exploitable directement dans le code #J-18808-Ljbffr