Samir
Gueblaoui Mon CV (PDF, nouvel onglet)

Disponible pour un poste

Ingénieur logiciel C++ junior

Des mathématiques
au logiciel.

Je suis Samir Gueblaoui. Je développe en C++, avec une expérience dans le développement d'une bibliothèque de calcul financier et d'un compilateur vers du code parallèle MPI. Mon fil conducteur : traduire les modèles mathématiques en logiciels fiables.

Découvrir mes projets Échangeons

Basé à Melun · Mobile en France
Permis B · Véhiculé · C++ / MPI

Carnet de calcul 01 / LACL
D'une expression mathématique à son exécution parallèle Illustration du principe du projet : une expression à sommation est représentée par un arbre de syntaxe abstraite, puis transformée pour une exécution C++ avec MPI. Ce schéma ne représente pas une mesure de performance. EXPRESSION ARBRE DE SYNTAXE CALCUL PARALLÈLE n ∑ i = 1 f(i) sum i 1…n f(i) transformations rang 0 rang 1 rang 2 rang 3
Expression → AST → C++ / MPI Illustration du principe

01 — Projets sélectionnés

Du concret, dans le code.

Mon GitHub (nouvel onglet)

Stage R&D · LACL · Avril – septembre 2026

Compiler des expressions.
Organiser le calcul parallèle.

Développement d'un compilateur en C++ transformant des formules LaTeX en code C++ utilisant l'API MPI. Un projet à l'interface de l'algorithmique, du calcul distribué et de la vérification.

  • C++20
  • MPI
  • AST
  • BSP
  • Coq / Rocq
Mes contributions
  • Construction d'un arbre de syntaxe abstraite (AST) par induction sur la structure des expressions.
  • Analyse des coûts avec le modèle BSP (Bulk Synchronous Parallelism).
  • Tests d'exécution avec différents nombres de processus MPI.
  • Premiers travaux de formalisation et de preuve de correction du compilateur en Coq/Rocq.

Projet C++ · Prototype en cours

CatOpt.
Explorer l'optimisation de programmes.

Prototype d'optimisation de programmes par application de lois algébriques issues de la théorie des catégories. Un projet en cours qui relie les fondements mathématiques à la transformation de programmes.

  • C++
  • Lois algébriques
  • Théorie des catégories

Modélisation financière · Projet C++

Merton-Jump.
Valoriser des options avec sauts.

Valorisation d'options bermudiennes sous le modèle de Merton-Jump, avec la méthode de Longstaff–Schwartz.

  • C++
  • Merton-Jump
  • Longstaff–Schwartz

Simulation numérique · Projet C++

Heston.
Modéliser la volatilité stochastique.

Utilisation de la méthode de Broadie–Kaya pour valoriser des options européennes sous le modèle de Heston.

  • C++
  • Heston
  • Broadie–Kaya

Stage quantitatif · Kepler Cheuvreux · Juin – octobre 2024

Comprendre les données
des marchés européens.

Extraction et préparation de données BMLL/Bloomberg sur 60 actions européennes pendant trois mois : alignement des séries temporelles et traitement des valeurs extrêmes. Estimation d'un modèle VARX pour analyser les réactions des marchés à la volatilité et aux annonces macroéconomiques, visualisation des résultats et rédaction d'un rapport de recherche.

  • Python
  • pandas
  • statsmodels
  • VARX
  • Matplotlib

02 — Mon parcours

Deux disciplines.
Un même fil.

Comprendre les modèles, les traduire en programmes et vérifier ce que l'on calcule.

Télécharger mon CV

Compétences

Programmation
C++, C, Python, OCaml
Calcul parallèle
MPI, modèle de coût BSP
Développement
Linux, bash/zsh, CMake, Git/GitHub
Tests et formalisation
GoogleTest, Coq/Rocq
Analyse de données
pandas, statsmodels, Matplotlib
Langues
Français natif · Anglais : lecture scientifique

Mon parcours relie les mathématiques appliquées au développement logiciel et à l'informatique théorique.

Après une licence en mathématiques et une maîtrise en mathématiques obtenue comme major de promotion, j'ai obtenu un master en mathématiques de la finance et des données. Mon parcours s'est ensuite enrichi d'une expérience professionnelle en C++, puis d'une formation en logique et fondements de l'informatique et d'un stage en compilation et calcul parallèle.

Expériences professionnelles

2026

Stage R&D — Compilateur et calcul parallèle

LACL · Créteil
Avril – septembre 2026

Compilateur C++20/MPI, AST, analyse des coûts BSP et premiers travaux de preuve en Coq/Rocq.

2024–25

CDD — Développeur logiciel C++

Crédit Agricole CIB · Montrouge
Décembre 2024 – mai 2025

  • Développement d'une bibliothèque C++ de calcul des sensibilités (Greeks) pour plusieurs modèles internes de valorisation.
  • Gestion des ressources par RAII et réduction des copies de données grâce au passage par référence.
  • Diagnostic et correction par comparaison des résultats analytiques avec les différences finies ; tests unitaires des fonctions et des cas limites avec GoogleTest.
2024

Stage — Analyste quantitatif

Kepler Cheuvreux · Paris
Juin – octobre 2024

Analyse de données BMLL/Bloomberg en Python, modélisation VARX et rédaction d'un rapport de recherche.

Formation

  1. 2025–2026

    Master 2 Logique Mathématique et Fondements de l'Informatique

    Université Paris Cité · Stage validé en 2026

  2. 2023–2024

    Master 2 Mathématiques de la Finance et des Données

    École des Ponts ParisTech · Diplôme obtenu

  3. 2022–2023

    Maîtrise de Mathématiques et applications

    Université Paris XII (UPEC) · Diplôme obtenu · Major de promotion

  4. 2019–2022

    Licence de Mathématiques fondamentales

    Université Paris XII (UPEC) · Diplôme obtenu

Aujourd'hui, je recherche un poste en développement logiciel C++, calcul scientifique ou programmation parallèle, avec un intérêt pour la compilation et les méthodes formelles.

03 — Contact

Parlons de votre
prochain projet.

Une opportunité en C++, une équipe R&D ou un sujet de calcul scientifique ? Je serais heureux d'en discuter.

M'écrire

Melun, Île-de-France · Mobilité France