Menu

Ainhoa APARICIO-MONFORTE

PARIS

En résumé

Ingénieure V&V et Docteur en Mathématiques et Calcul Formel, je suis en recherche active d'un poste à Montréal, Québec. Je travaille à présent en tant que ingénieur logiciel en V&V avionique chez AKETY pour SAFRAN Engineering Systems, au sein du projet A350 Landing Gear System, à Montigny le Bretonneux. Avant ma thèse, soutenue en 2010, j'ai travaillé chez ACCENTURE grâce à quoi j'ai acquis des connaissances en SAP et en Manugistics. J'ai aussi de notions solides en gestion de bases de données (SQL, Oracle) et en outils statistiques, tels que le langage R et le logiciel Minitab.

Mes connaissances lingüistiques me rendent parfaitement apte au travail dans une ambiance internationale où l'anglais, l'Espagnol et/ou le français seraient des langues d'échange privilégiées. Je suis de même ouverte à des offres demandant des déplacements périodiques.

En principe, je recherche un emploi d'ingénieur que ce soit dans des fonctions V&V, qualité ou même R+D.

Néanmoins, je suis ouverte à toute offre me permettant d'acquérir de nouvelles connaissances et de faire profiter mes collègues et mes employeurs de tout le savoir-faire et tout le savoir-être que j'ai engrangé au fil de mon parcours académique et professionnel.

Mes compétences :
SAP DS
Freehand
Latex
Maple
Photoshop
C / C+
Openoffice
C + +
SQL
Manugistics
Microsoft office
Mathématiques
espagnol
anglais

Entreprises

  • AKETYS pour SAFRAN Engineering Services - Ingénieur V&V

    2014 - 2014 Ingénieur Validation et Vérification (V&V) 03/2014 à aujourd’hui
    AKETYS (SSII) pour SAFRAN ENGINEERING SYSTEMS Groupe SAFRAN, bureaux de Montigny le Bretonneux
    http://www.aketys.com/
    Projet Train d’atterrissage de l’Airbus 350

    Responsable et référent des tâches de
    Vérification de livrables : Il faut que la documentation retraçant le lien entre exigences avioniques et tests de Vérification (PTVs) soit à jour, formellement consistente et fonctionnellement cohérente. Pour cela, j’ai mis en place un protocole permettant à partir d’une macro excel préexistante de repérer d’éventuelles erreurs au sein des documents de façon rapide et efficace. Ce protocole est d’autant plus important qu’auparavant la vérification des livrables n’était pas automatisée. De même, j’ai formé la personne qui va me remplacer à mon départ.

    Analyse d’impact : l’analyse d’impact consiste à vérifier comment les fiches de faits techniques mises en place pour améliorer le rendement, le format, la conformité formelle des planches SCADE ou la fonctionnalité des fonctions, impactent sur les fonctions du système. C’est à la suite de telles analyses d’impact que l’on est menés à rejouer certains tests de validation afin d’assurer le bon fonctionnement du code SCADE. J’ai mis en place un protocole permettant d’améliorer le processus préexistant. Dans des périodes de pic de travail j’ai été chargée de faire l’interface entre l’équipe et le client ainsi que de superviser le travail et la formation de quatre de mes camarades.
    L’équipe (Montigny) de Validation et Vérification travaille en coordination, avec SESI (Bangalore) et Messier-Bugatti-Dowty (Vélizy). Tous les membres de l’équipe sont censés être capables de réaliser, fut-ce sous la supervision du référent assigné, toutes les activités gérées par l’équipe. Ainsi je participe aussi aux activités ci-dessous :
    Relecture de tests de validation (PTVs) : Les PTVs sont rédigés pour Messier Bugatty Dowty par les ingénieurs de SES India pour le logiciel embarqué dans le train d’atterrissage de l’Airbus 350. L’équipe relit les PTVs pour assurer la cohérence formelle des tests et la conformité du code SCADE aux exigences avioniques contrôlant le train d’atterrissage de l’A350.

    QMTC : Repérage des trous de couverture par rapport aux fonctions liées aux différents systèmes du train d’atterrissage rencontrés par SESI pendant l’exécution des tests de validation sur banc de test. Les résultats de ce process sont consignés alors dans des livrables officiels qui contiennent la liste exhaustive de toutes les justifications.

    Rédaction de documentation officielle au format MBD : Gestion des pages de garde, en-têtes, ajout de PTVs génériques et d’analyse pour chaque version de chacun des standards.

    Rédaction de PTV d’analyse : Un PTV d’analyse est une justification circonstanciée, spécification des exigences et leurs planches SCADE associées à l’appui, d’un trou de couverture qui est dû aux limitations imposées du banc d’essais (en général aux valeurs attribuables aux variables d’entrée) dont dispose SESI.
    Un PTV d’analyse est donc une justification de non testabilité par SESI qui éventuellement peut donner lieu à une exécution des tests par MBD.

    Technologies utilisées : SCADE/ Word/ Excel
  • Université de Lille - ATER plein

    2012 - maintenant Enseignements :
    Mathématiques des files d'attente et des graphes aux futurs ingénieurs de TELECOM Lille.
    Programmation en C : séances de TP et de projet (2 projets le premier portant sur un jeu ordinateur simple le second portant sur un logiciel de représentation graphique de fonctions).
    Introduction aux bases de données : requêtes SQL.
    Introduction aux langages html et php.
  • Research Institute for Symbolic Computation - Post-Doc

    2011 - 2012 Recherche en Mathématiques. Programmation. Calcul formel.
  • Accenture - Junior Programmer

    Paris 2005 - 2007 Junior Programmer en SAP DP et Manugistics.
    Expérience SAP/DP : Rôle de maintenance d'un module de SAP/DP déjà installé auprès de Hewlett Packard pour la gestion des stocks au niveau mondial. Mise au point de mises au jour automatisées, Mise en place d'infopackages et supervision des mises à jours manuelles périodiques des données. Résolution et documentation d'incidences techniques et fonctionnelles rencontrées en production par les clients. Transmission de technologie auprès des collègues indiens chargés de prendre le rôle de helpdesk auprès de HP au terme de la mission de notre équipe.

    Epérience Manugistics : mise en place de l'outil Manugistics de Demand Planning auprès de plusieurs clients dont Pepsico et British Petroleum. Contrôle des mises à jour de données mensuelles. Surveillance de la qualité des données et nettoyage de celles-ci. Mise en place de batch scripts de mise à jour automatique des bases de données.
    Résolution de problèmes techniques auprès des clients, rôle de helpdesk et de résolution d'incidences.
    Elaboration de formulaires automatisés pour la génération de reporting à partir des données mensuelles.
    Exploration des données, nettoyage de l'histoire et mise en place d'outils d'inférence pour la prévision de la demande.
    Reporting hebdomadaire de problèmes résolus et en cours.
    Formation de nouvelles recrues.

Formations

  • Université De Limoges Faculté Des Sciences Et Techniques

    Limoges 2007 - 2010 Thèse Doctorale

    Pendant ma thèse j'ai travaillé sur le problème consistant à donner des méthodes algorithmiques symboliques (non numériques) permettant de décider si le comportement des problèmes tirés de l'astronomie est prévisible (intégrable) ou pas (non-intégrable, chaotique).
    L'intitulé de mon mémoire de thèse est "Méthodes mathématiques pour l'intégrabilité des systèmes Hamiltoniens.

Réseau

Annuaire des membres :