MOHAMED EL AQQAD
Ingénieur logiciel
32 ans
Situation professionnelle
En poste
Ouvert aux opportunités
Présentation
Je suis un ingénieur logiciel passionné par l'algorithmie, l'architecture logicielle et les mathématiques. Mes expériences m'ont permis de développer des compétences exceptionnelles en résolution de problèmes analytiques, même dans des situations sous une pression extrême, tout en démontrant une grande initiative et une capacité à travailler de manière autonome ou en équipe.
Mes formations m'ont doté de solides connaissances en informatique, notamment en programmation, en ingénierie logicielle et en algorithmique. Je suis à la recherche d'un poste d'ingénieur en informatique qui me permettra de mettre en pratique ces compétences dans un environnement stimulant, tout en contribuant à la conception de solutions innovantes pour des défis complexes du monde réel. Mon objectif est de participer activement à la résolution de problèmes au sein d'une équipe dynamique et collaborative.
Mes formations m'ont doté de solides connaissances en informatique, notamment en programmation, en ingénierie logicielle et en algorithmique. Je suis à la recherche d'un poste d'ingénieur en informatique qui me permettra de mettre en pratique ces compétences dans un environnement stimulant, tout en contribuant à la conception de solutions innovantes pour des défis complexes du monde réel. Mon objectif est de participer activement à la résolution de problèmes au sein d'une équipe dynamique et collaborative.
Ingénieur R&D (C#)
Société générale
Depuis octobre 2016
CDI
Paris
France
- Equipe : Entité de recherche et développement au sein de Société Générale Corporate and Investment Banking.
- Projet : J'ai contribué au développement d'un moteur de calcul de risque, en utilisant les bibliothèques de Pricing élaborées par les équipes quantitatives, ainsi que des services web et des bibliothèques externes fournissant des données de transactions et des données de marché à des dates spécifiques. Mes actions dans ce projet se sont articulées autour de :
- Intégration de nouvelles fonctionnalités
- Optimisations des ressources (CPU, Mémoire, Stockage)
- Amélioration de qualité de code
- Suivi des opérations techniques sur l'infrastructure
- Intégration de nouvelles fonctionnalités
- Domaines de compétences :
- Algorithmes appliqués aux graphes
- Résolution de problèmes complexes
- Maîtrise de C#, du .Net Framework et de la plateforme Azure
- Algorithmes appliqués aux graphes
Ingénieur R&D (Java et Méthodes formelles)
Systerel
Mars 2016
à septembre 2016
Stage
Aix-En-Provence
France
- Equipe : j'ai intégré Systerel pour travailler au sein d'une équipe de recherche et développement spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement.
Lien vers le produit: http://www.systerel.fr/innovation/produits/systerel-ixl-builder/ - Projet : Étude et développement d’une solution logicielle intégrée à IXL-Builder qui détecte les restrictions abusive sur un modèle formel d’environnement. Le stage s'est déroulé en plusieurs étapes :
- Étude du modèle formel: Détermination des limites du modèle, Analyse des outils de modélisation et de vérification en terme d'efficacité et de complexité.
- Génération des systèmes aléatoires avec des propriétés données et un comportement controlé: Génération aléatoire des formules booléennes satisfaisables et insatisfaisables, génération aléatoire des machines à état ayant un comportement maîtrisé, génération aléatoire des systèmes destinés à l’évaluation du modèle et aux tests .
- Développement d'un plugin pour IXL-Builder qui permet d'identifier les restrictions abusives sous forme d'exigences de sécurité prouvable ou réfutable en utilisant Systerel Smart Solver un autre outil de vérification intégrée à IXL Builder.
- Étude du modèle formel: Détermination des limites du modèle, Analyse des outils de modélisation et de vérification en terme d'efficacité et de complexité.
- Compétences :
- Algorithmique sur les graphes : Les graphs aléatoires (modèle de Erdős–Rényi), Path cover problem, Route inspection problem, Strongly connected components,...
- Étude de complexité des algorithmes
- Problem solving et compétences analytiques
- Java, Eclipse , Sirius, Eclipse modeling framework, Antlr, Sat4j
- Algorithmique sur les graphes : Les graphs aléatoires (modèle de Erdős–Rényi), Path cover problem, Route inspection problem, Strongly connected components,...
Développeur Full Stack (Scala)
Tetrao
Juin 2015
à septembre 2015
Stage
Luxembourg
Luxembourg
- Equipe: j'ai rejoint Enbona (aujourd'hui Tetrao) une start-up spécialisée dans l’automatisation du Web, Luxembourg,
- Projet : Conception et réalisation d’une application web de gestion de portefeuilles des produits financiers, le stage s'est déroulé en plusieurs étapes :
- Conversation clients et synthèse de leurs enjeux en rédigeant un cahier des charges, suivi du développement en méthodologie agile des différentes fonctionnalités et composante de l'application web. Et finalement faire des test de l'application en présence des clients.
- Modélisation de portefeuille et création d'une base de donnée.
- Collection et récupération automatiques des informations sur les produits financiers en utilisant les technique du machine/deep learning sur les pages web et sur des sites tels que Boursourama et ABC bourse
- Visualisation des différents paramètres relative à un portefeuille: graphe d'évolutions des différents paramètres (prix,volatilité, ...). Comparaison des produits et des portefeuilles
- Conversation clients et synthèse de leurs enjeux en rédigeant un cahier des charges, suivi du développement en méthodologie agile des différentes fonctionnalités et composante de l'application web. Et finalement faire des test de l'application en présence des clients.
- Compétences :
- Programmation en Scala : Playframework, Type safe Activator, SBT
- Technologies web: Html,javascript,css, Data-Driven Documents (D3)
- Technologies base de donnée : slick, PostgreSql
- Programmation en Scala : Playframework, Type safe Activator, SBT
Développeur (C#)
INRIA Nancy-Grand Est - LORIA
Septembre 2014
à janvier 2015
Projet étudiant
Nancy
France
- Equipe : chaque année, le département informatique choisi un projet mené par tout les étudiants de deuxième années ( environ 30 personnes) pour un organisme tiers ( Un laboratoire, une start-up, etc).
- Participation au développement d'un IDE de scripting pour un logiciel de modélisation des pièces géométrique (IceSL). Pendant ce projet j'ai mené les actions suivantes :
- Mise en place de processus d'impression 3D des pièces géométrique.
- Automatisation et factorisation des scripts
- Ajout des tests unitaire et revue de code.
- Mise en place de processus d'impression 3D des pièces géométrique.
- Compétences :
- C#, .Net, Win Forms
- Git, Github.
- C#, .Net, Win Forms
-
C#
Expert
-
Python
Intermédiaire
-
Javascript
Notions
-
Java
Bon niveau
-
Scala
Notions
-
C++/C
Intermédiaire
-
Berber (maternelle)
Intermédiaire
-
Français
Avancé
-
Allemand
Notions
-
Arabe
Avancé
-
Anglais
Avancé
-
Visual Studio (C,C++,C#)
Avancé
-
Eclipse (java)
Bon niveau
-
Activator(Scala)
Intermédiaire
-
Reshaper (C#)
Avancé
-
Spyder(Python)
Notions
-
Rodin (Event-B)
Notions
-
.Net
Expert
-
Eclipse modeling framework
Bon niveau
-
Swing
Notions
-
JEE
Bon niveau
-
Play framework
Intermédiaire
-
LATEX
Intermédiaire
-
Windows
Notions
-
Ubuntu
Intermédiaire
-
HTML5/CSS
Notions
Ingénieur civil des Mines
École Nationale Supérieure des Mines de Nancy (ENSMN)
Depuis septembre 2013
Option : Organisation de l'information et des processus
Étude du concept même d’information, de sa représentation, de son évolution, et de la façon dont, en étant intégré dans des processus métiers de l’entreprise, elle évolue, s’enrichit et produit de la valeur ajoutée. La question n’est plus d’aborder l’intégration technologique informatique, mais de déterminer quelle organisation et quelle représentation de l’information répondra au mieux aux besoins de son utilisation.
En savoir +
Étude du concept même d’information, de sa représentation, de son évolution, et de la façon dont, en étant intégré dans des processus métiers de l’entreprise, elle évolue, s’enrichit et produit de la valeur ajoutée. La question n’est plus d’aborder l’intégration technologique informatique, mais de déterminer quelle organisation et quelle représentation de l’information répondra au mieux aux besoins de son utilisation.
Master en Logiciels : Méthodes Formelles et Ingénierie
Faculty of Sciences and Technologies
Depuis septembre 2015
La spécialité LMFI, au travers de son parcours « Recherche », vise à donner aux étudiants une formation solide et approfondie aux concepts et principes fondamentaux pour la conception de logiciels sûrs, fiables et robustes ainsi qu'aux méthodes formelles et outils informatiques associés actuels ou en cours d'élaboration.
En savoir +
Baccalauréat Scientifique,option mathématique, mention très bien
- Résolution des projets Euler
- Problèmes de Coding Game
- Création des jeux de réflexion
- Théorie des nombres
- Création des Énigmes
- Aide mathématique sur math.stack-exchange
- Roman d'aventure
- Publication scientifique en mathématique
- Livres scientifiques de vulgarisation
- Découverte des autres cultures
- Escalade
- Football
- Course
