Bonjour, je suis
Lucas Noirot
Titulaire d'un Master 2 en Algorithmique & Mathématiques.
À propos de moi
Je conçois des systèmes logiciels critiques, prouvés et optimisés. Combinant informatique théorique et mathématiques, je transforme l'abstraction complexe en code performant. Que ce soit en C++, OCaml ou Python, mon approche vise la robustesse absolue par l'usage de méthodes formelles.
Ce que je cherche : Un rôle technique en Recherche Opérationnelle, Preuve Formelle ou Cybersécurité.
Mon expertise technique :
- Optimisation & Modélisation : Modélisation mathématique, PLNE (MIP), Programmation par contraintes, Heuristiques & Métaheuristiques.
- Sûreté & Cryptographie : Méthodes formelles (Coq), Preuve de sécurité, Protocoles cryptographiques.
- Algorithmique Avancée : Analyse de complexité, Théorie des graphes avancée (algorithmes en-ligne, distribués).
Compétences
Optimisation & Modélisation
- Modélisation mathématique
- PLNE (MIP, OR-Tools)
- Programmation par contraintes
- Heuristiques & Optimisation combinatoire
Sûreté & Cryptographie
- Méthodes formelles (Coq)
- Preuve de sécurité
- Protocoles cryptographiques
Algorithmique Avancée
- Analyse de complexité
- Structures et algorithmes de graphes
- Flots / graphes (algorithmes en-ligne)
Développement
Langues
- Anglais : C1 (Technique courant)
- Français : Natif
Qualités Humaines
Rigueur scientifique
Curiosité
Créativité
Travail d'équipe
Pédagogie
Résolution de problèmes
Me Contacter
Jeune diplômé en quête de défis techniques.
À la recherche de ma première opportunité en CDI en tant qu'Ingénieur R&D. Je souhaite rejoindre une équipe ambitieuse pour concevoir des solutions fiables en Optimisation, Méthodes Formelles ou Cryptographie.
Disponibilité
Mars 2026
(Ouvert aux échanges et entretiens dès aujourd'hui)
Recherche & Ingénierie
Lattice-Chat
Messagerie chiffrée post-quantique et cryptanalyse par LLL
Système de messagerie chiffrée de bout en bout dont la sécurité repose
sur la difficulté du problème SVP résistant aux attaques quantiques.
Cryptographie : Échange de clés post-quantique via
LWE (Learning With Errors), chiffrement symétrique
des messages par ChaCha20.
Réseau : Stack réseau asynchrone en Rust
(Tokio, TCP/WebSockets).
Cryptanalyse : Simulation d'attaques par réduction
de base (LLL) et benchmarks selon la dimension,
le bruit et le module.
Roadmap : 🦀 Projet en cours d'implémentation. (mars 2026)
Solveur WSRP
Optimisation de tournées sous contraintes de compétences
Résolution du problème de planification et routage
de techniciens (WSRP) sous contraintes
de compétences et fenêtres temporelles.
Modélisation : Formulation en
Programmation Linéaire en Nombres Entiers (MIP)
avec OR-Tools (SCIP).
Heuristique : Solver glouton pour
initialisation rapide, utilisé comme warm start
pour accélérer la convergence du MIP.
Critères : Maximisation du temps passé
sur les tâches, minimisation du temps de trajet et des retards.
Réduction de réseaux euclidiens
Adaptations d’idées provenant du cas polynomial au cas entier
Exploration des similarités et différences entre réduction de réseaux
polynomiaux et euclidiens, avec adaptation
d'idées algorithmiques du cas polynomial vers le cas entier (algorithme LLL).
Contexte : la réduction de réseaux est au cœur de la cryptographie
post-quantique, dont la sécurité repose sur des problèmes réputés résistants aux
attaques quantiques.
Implémentation : Prototypes en SageMath pour analyser
complexité algorithmique et stabilité numérique des variantes étudiées.
Communication : Présentation technique d'1h30 en anglais
au Lattice Club sur LLL.
Travail de recherche : revue d’état de l’art et analyse critique
d’articles scientifiques.
Ray Tracing Algébrique
Solveur exact pour surfaces implicites
Intersection rayon–surface via la résolution de l'équation $f(O + tD) = 0$.
Isolement des racines en base de Bernstein via l'algorithme de
De Casteljau.
Gestion de géométrie constructive (CSG), multi-caméras, ombre portée.
Qualité logicielle:
Réalisation de tests unitaires et benchmarks (Criterion).
Optimisations:
AABB, heuristiques, Horner, SIMD
Exemples de surfaces :
Cœur de Taubin
,
surface de Roman
,
quadriques
.
Roadmap:
🦀 Portage du solveur en Rust en cours d'implémentation. (mars 2026)
Codes de Beckett-Gray
Implémentation, heuristiques et analyses de graphes
Recherche de codes de Gray sans retour arrière (Beckett-Gray)
sur l'hypercube, via la recherche de cycles hamiltoniens
spécifiques dans des graphes de grande dimension.
Solvers : Implémentation en C++ de moteurs de recherche
par backtracking et heuristiques pour explorer l'espace des solutions
et identifier des contre-exemples.
Analyse : Étude statistique des propriétés et motifs
récurrents dans les codes générés.
Projets complémentaires
Portfolio Personnel
Interface web sur-mesure orientée performance et accessibilité.
Conception et implémentation d'un portfolio numérique 100% from scratch ( sans framework
JS, sans CSS framework, sans générateur de site).
Systèmes dynamiques :
Filtrage natif des projets, moteur de blog, système de traduction, web components
custom.
UI/UX :
Expérience utilisateur "Mobile-First", animations fluides et design sur-mesure.
Infrastructure :
Déploiement automatisé via GitHub Pages, incluant un système de génération de tables des
matières dynamiques.
Roadmap : 🌓 Implémentation du mode sombre (Dark Mode) + amélioration
de l’accessibilité.
La transformation de Weyl
Quantification de Weyl et analyse sur l’espace des phases
Étude de la quantification de Weyl : correspondance entre
fonctions sur l'espace des phases et opérateurs en mécanique quantique,
en contournant la non-commutativité de P̂ et Q̂.
Outils : Transformée de Fourier-Wigner, groupe de
Heisenberg, opérateurs pseudo-différentiels, transformée de Wigner.
Lien physique-mathématique : Formalisme rigoureux ancré
dans les postulats de la mécanique quantique.
Empilement compact
Étude de l'inégalité isopérimétrique et simulations
Étude du problème de l'empilement compact (conjecture de Kepler)
et de l'inégalité isopérimétrique, et exploration du lien
entre ces deux problèmes fondamentaux de géométrie.
Contexte : De Kepler (1611) à Hales, jusqu'aux travaux de
Maryna Viazovska (dimensions 8 et 24, médaille Fields 2022).
Simulations : Développement en Java pour visualiser
les configurations d'empilement critiques.