v

Informaticien – Mathématicien



Adresse : Paris

Date de début de la mission : 04-07-2025

Durée de la mission : 180 jours

Date de publication de l'offre : 04-07-2025



Description de l'offre :

Objectif de la mission

Dans 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 attendues

Compétences mathématiques (indispensables) :

  • Surfaces et variétés de Riemann (dimension 2)

  • Différentielles en dimension 3

  • Géométrie analytique dans l’espace

  • Théorème du point fixe de Picard

  • Topologie (métriques exotiques, convergence)

  • Théorie des minimas (locaux / globaux)

  • Fonctions 𝒞∞ et gestion des singularités

  • Convexité et optimisation

  • Théorie des graphes

  • Calculs en coordonnées sphériques / elliptiques (projection Mercator, Lambert 93)

Compétences informatiques :

  • Connaissance des API, du Big Data

  • Capacité à formuler une démonstration mathématique en algorithme clair

  • Capacité à collaborer avec un CTO expérimenté (excellente compétence en développement, peu de connaissances en maths)

Savoir-être :

  • Pédagogie, clarté, rigueur

  • Capacité à vulgariser des concepts mathématiques de très haut niveau

  • Bonne capacité d’échange avec des chercheurs de renom (interactions prévues avec des chercheurs de Harvard et une médaille Fields)

Contexte

Vous travaillerez en étroite collaboration avec le CTO pour :

  • Décortiquer les démonstrations mathématiques

  • Traduire les preuves en logiques d’implémentation

  • Produire une modélisation algorithmique fidèle et exploitable directement dans le code