Menu

Asma SGHAIER

Paris

En résumé

 Double compétence fonctionnelle et technique
 7 ans d’expérience en développement
 4 ans d’expérience en banque d’investissement

Mes compétences :
XML
Finance
.Net/C#
WCF
Microsoft .NET
SQL
Excel
VBA
Fixed Income
C/C++

Entreprises

  • Natixis - Ingénieur R&D Fixed Income rattachée au Front Office

    Paris 2015 - maintenant Développement d'un calculateur sous Excel destiné aux desks de vente, structuration et trading qui permet de valoriser et hedger différents produits dérivés de taux et de change.

    o Périmètre : produits dérivés et structurés de taux (Cap/Floor, Digitales, Corridor, Swaption, Spread Option, etc.), ainsi qu’exotiques de taux (Bermuda, Callable Range Accrual, etc.), et produits de change (Fx Option)
  • Société Générale - Ingénieur Conseil

    PARIS 2012 - 2015 - Développement d’un calculateur de risque pour valorisations officielles : P&L, VaR et stress tests, explication de P&L, suivi des risques, monitoring intraday et real time.
    o Périmètre : produits listés, dérives de taux, change et dérivés de change, dérivés de crédit
    o Types d’analyses : NPV, valorisation en fair value et en couru, sensibilités aux taux d’intérêt, au spot de change, aux basis spreads, calcul de theta, de vega, de gamma et analyses croisées
    - Migration de l’ancien calculateur de risque (« legacy »)
    o Explication des écarts de chiffres
    o Moteur de non régression
    o Communication sur les améliorations
    - Projet EEPE : calcul du capital minimal requis par la société générale pour pallier au risque de contrepartie
    o Performance : optimisation de la distribution sur la grille de calcul (architecture déconnectée), mise en cache des données
    o Résilience : stabilité des échanges et interfaces au démarrage des data services
  • EUROGICIEL - Ingénieur étude et développement

    2011 - 2011 - Contrôle de la qualité du code C sur la base des spécifications et normes de codage DO178B
    - Couverture de code, Matrice de traçabilité, Revue des pairs.
    - Conception et réalisation de tests unitaires sous RTRT.
  • Business Document - Ingénieur concepteur

    Boulogne-Billancourt 2011 - 2012 - Spécifications techniques et fonctionnelles, développement pour le produit BDocSuite
    o IHM et add-in Word
    o Contrôle ActiveX
    o Service WCF pour multi-threading par multi-processing.
    o Modules de conception d’un document dans BDocSuite
    o IHM de conception d’un graphique
    - Développement d'une librairie de génération des graphes pour gestion des images
    - Amélioration d’une librairie de génération de codes à barres (C).
  • Laboratoire d'Informatique et Algorithmique : Fondements et Applications Paris - Stagiaire

    2009 - 2009 Conception et implémentation d'un nouvel algorithme d'analyse d'accessibilité à base de transducteurs:
    Dans certains domaines d’activités, où le moindre défaut peut se terminer en catastrophe, la sécurité est primordiale. Cette exigence de fiabilité absolue a conduit au développement de langages de programmation spécifiques et d’outils de vérification. Plusieurs méthodes sont implémentées mais l’inconvénient de ces méthodes est que, si on a plusieurs configurations à tester on est obligé de réappliquer ces algorithmes et on sait que les algorithmes d’analyse d’accessibilité (recherche d’un état d’erreur généralement) sont des algorithmes de complexité exponentielle. Dans notre travail nous avons conçu un nouvel algorithme qui construit une structure à entrées/sorties (transducteur) qui va nous permettre de tester différentes configurations sans avoir à réappliquer un algorithme d’accessibilité à chaque fois, une fois cet algorithme exécuté l’analyse d’accessibilité revient à faire un produit de cette structure avec un automate qui accepte la configuration qu’on veut tester. Et nous avons prouvé mathématiquement que notre algorithme est fiable.
    Enfin nous avons ajouté cet algorithme à Moped et nous l’avons testé.

    Mots-clés : analyse d’accessibilité, théorie des graphes, modélisation, automates à pile, vérification formelle.
  • Sagem software & technologies - Ingénieur c/c++ embarqué

    2009 - 2010 - Produit : Le système d'exploitation de l'imprimante Sagem HFF.
    - Responsabilités :
    L'objectif du projet est de permettre au client d'imprimer des textes contenant des caractères non-latins (grecs, cyrilliques, etc.). Ceci a nécessité la résolution des problèmes d'impression de ces caractères:
     problèmes de flux de données vu la taille des nouveaux caractères unicodes;
     insuffisance mémoire;
     génération de rapport en PCL.

    - Equipe : équipe d’une dizaine de personnes.

    - Environnement technique : C/C++, GNU (gcc, gdb, make...).

Formations

  • CNAM

    Paris 2013 - maintenant Master
  • Ecole Polytechnique De Tunisie (La Marsa)

    La Marsa 2008 - 2010 Master

    Projet de de master :
    Analyse formelle des propriétés du vote électronique en utilisant un algorithme d'analyse d'accessibilité.
    Mots-Clés : vote électronique, modélisation, automate, vérification formelle.
  • Ecole Polytechnique De Tunisie (La Marsa)

    La Marsa 2006 - 2009 Ingénieur polytechnicien
  • Institut Préparatoire Aux Etudes D'Ingénieurs De Tunis - IPEIT IPEIT (Montfleury)

    Montfleury 2004 - 2006 Diplôme de premier cycle

Réseau

Annuaire des membres :