Missions LANGAGE B : Repérez votre prochaine mission indépendante

Aperçu des emplois de Haf,
freelance LANGAGE B résidant dans le Val-d'Oise (95)

• Paris 9éme SkyRecon Systems
  Jan 2008 - aujourd'hui

  SkyRecon Systems est le premier éditeur européen de solutions logicielles de sécurité comportementale.
  
  Ingénieur Développeur au sein du département Recherche et Développement.
  
  Responsable des développements de la console d’administration du produit StormShield:
   Optimisation et développement de nouvelles fonctionnalités
   Rédaction de spécifications techniques
   Tests unitaires et corrections
  
  Réalisations :
   Conception et développement du module de Reporting
   Refonte de la gestion des politiques de sécurité en utilisant le design pattern poids-mouche (Flyweight)
   Conception et développement d’un moteur de comparaison réflexif entre les différentes versions d’une politique de sécurité (traçabilité des modifications)
   Conception et développement de la console d’administration du produit StormShield Personal Edition.

  Environnement technique : C#, C/C++,API Ncurses, Reporting Services, SQL Server 2005

• Guyancourt (78) Calyon Corporate and Investment Bank
  2006 - 2007

  Calyon CIB est la banque de Financement et d'Investissement du Groupe Crédit Agricole.
  Ingénieur d’étude au sein de l'équipe Risk Management. (Développement d'une application de gestion de risques selon la réglementation BALE II)
   Rédaction de spécifications techniques
   Maintenance évolutive et corrective de l'application EURECCA (Electronic Unit of Regulatory and Economic Calculations for Credit Application)
   Réalisation de l'IHM de l'application BDH (Base de Données Historisées)

  Environnement technique : ASP.net, C#, SQL Server 2000

• Projet de fin d'étude

  2006 - aujourd'hui

  Projet de fin d'étude pour l’obtention du diplôme d’ingénieur
  Développement d’un éditeur d’architectures logicielles et générateur de spécifications formelles.
  
   Application permettant à l'utilisateur de schématiser facilement les composants d’un système ainsi que d'en éditer la spécification formelle en Langage B.
  
   Permet de développer un langage semi formel (graphique) enrichi par une sémantique formelle (méthode B) dans le but de représenter des architectures logicielles.

  Environnement technique : Java, SWING, GEF, XML, Eclipse

• Montigny (78) 5 mois Valeo
  2005 - aujourd'hui

  Valeo est un groupe industriel spécialisé dans la fourniture d'équipements et de sous-ensembles électromécaniques pour l'industrie automobile.
  Développeur d’applications Multiutilisateurs sous Lotus Notes
   Réalisation d’une base permettant la validation de projets automobile en Workflow
   Réalisation d’une base gérant la validation et le suivi des essais entre les laboratoires de Montigny et Casablanca

  Environnement technique : LotusScript, Formula language, VBScript

• Clichy (92)Institut de Langage International Aéronautique
  2005 - aujourd'hui

  ILIA est un organisme de formation et de préparation aux tests de sélections de l’ENAC (École Nationale d’Aviation Civile).
   Développement d’une application simulant les tests psychomoteurs de l’ENAC
   Rédaction du cahier des charges
   Formation des utilisateurs

  Environnement technique : C/C++, OpenGL

• Paris 15ème 5 mois Laboratoire de physiologie digestive de l’hôpitalBroussais
  2003 - aujourd'hui

  Le laboratoire de physiologie digestive effectue des travaux de physiopathologie destinés à une meilleure compréhension de la pathologie humaine pédiatrique ou adulte.
   Réalisation de la partie logicielle d’un modèle d’estomac artificiel

  Environnement technique : C, Turbo C