Missions ARM : De nombreuses offres publiées chaque jour

Résumé des emplois de Mounir,
freelance ARM habitant le Val-de-Marne (94)

• Ingénieur R&D

  , UCOPIA BY WEBLIB, Paris
  Jan 2022 - Jan 2024

  Septembre 2022 ∠ Développement d’un outil de tests automatisés
  ∠ Mise en place d’une infrastucture avec Proxmox VE et Vmware ESXi
  ∠ Gestion d’une infrastructure ELK sur AWS
  ∠ Développement sur le contrôleur UCOPIA
  ∠ Recrutement de développeurs
  Recrutement Linux Sécurité Virtualisation Réseau Gestion de projet Selenium Robot AWS Docker

• Entrepreneur in Residence, ENTREPRENEUR FIRST, Paris

  Jan 2021 - Jan 2022

  ∠ Programme d’entrepreneuriat basé à Station F
  Entrepreneuriat Étude de marché Networking Financement

• Ingénieur R&D

  , UCOPIA BY WEBLIB, Paris
  Jan 2021 - Jan 2021

  ∠ Refonte du contrôleur réseau UCOPIA
  ∠ Préparation et planification de la refonte
  ∠ Rédaction de la documentation technique
  ∠ Création d’une distribution Linux avec Yocto
  ∠ Développement d’un outil interne avec la bibliothèque Libvirt
  ∠ Développement de tests QA avec Selenium
  ∠ Recrutement de développeurs
  Recrutement Yocto Linux Go AWS Réseau Gestion de projet Selenium

• Research Intern | Security Research Team,

  ARM, Cambridge, UK
  Jan 2017 - Jan 2018

  ∠ Suivi de flux d’information sur l’architecture Arm-v8
  Scala Python Z3 Theorem Prover architecture Arm v8-M Assembleur ARM

• PhD Researcher,

  CENTRALESUPÉLEC, Rennes, France
  Jan 2015 - Jan 2020

  ∠ Création de crochets LSM (Linux Security Modules)
  ∠ Développement de pilotes Linux
  ∠ Conception d’une analyse statique avec le compilateur LLVM
  ∠ Modifications du format ELF, des outils GNU linker et GNU Binutils
  ∠ Création d’une distribution Linux avec Yocto
  FPGA VHDL Linux LLVM Musl LibC C++ Arm v7 Arm Coresight PTM-A9 Yocto LSM

• Research Intern

  , UNIVERSITÉ DE CAMBRIDGE, Cambridge, UK
  Jan 2015 - Jan 2015

  ∠ Développement de deux backends pour le projet Irmin :
  ∠ irmin-krypto : pour le chiffrement des données
  ∠ irmin-chunk : pour le découpage des données volumineuses
  OCaml Cryptographie Git objects