
othman aghnaj
Ingénieur logiciel
Salaire / Taux journalier
Salé, Maroc
Freelance, ouvert au CDI
Expertises
Langues
À propos
Introduction
Ingénieur logiciel avec expertise en MBSE, méthodes formelles et qualité logicielle. Doctorant spécialisé en spécification formelle des exigences, expérience N2 en support IT et tests automatisés. Je transforme vos défis techniques en solutions robustes grâce à une approche rigoureuse et des méthodes éprouvées.
Expérience de travail
PHD Student
Mohammadia School of Engineers
sept. 2024 - Présent
2 ans 2 mois
Rabat, Maroc
Spécialisé en Ingénierie des systèmes basée sur les modèles et les méthodes formelles en Ingénierie des exigences, à l’école Mohammadia d’Ingénieurs | EMI Rabat depuis Octobre 2024 Sujet de recherche : Spécification formelle des exigences dans l’ingénierie système basée sur les modèles (MBSE). Étude des méthodes formelles pour améliorer la rigueur de la définition des exigences. Analyse des outils MBSE (SysML, AADL, etc.) et des langages de spécification formelle (comme Alloy, Z, OCL...). Préparation d’un article scientifique pour la conférence CIst'2025. Participation à des séminaires doctoraux et activités de laboratoire. Veille scientifique sur les avancées en MBSE, formalisation et ingénierie des exigences.
Ingénieur Support IT N2
Cegedim Outsourcing
sept. 2022 - janv. 2024
1 an 5 mois
Hassan, Rabat-Salé-Kénitra, Maroc
Support technique N2 pour les solutions de facturation électronique GIS et SY. Diagnostic et résolution des flux de factures en fonction de la demande des utilisateurs. Analyser et remonter les problèmes applicatifs aux équipes R&D. Rapporter les problèmes de flux aux chefs de projets techniques. Prévoir les éventuelles évolutions sur les flux/application. Coordination avec les fournisseurs et équipes internes pour garantir la résolution rapide selon les SLA Environnements : LINUX, Oracle DB 11g,SQL serveur , fichiers XML/XLS/EDI,JSON. + Outils : TURTOISE SVN, PUTTY, WINSCP. - ITSM : JIRA, Zendesk, Ivanti.
Testeur de logiciels
DXC Technology Morocco
mars 2022 - août 2022
6 mois
Rabat, Maroc
Rédaction et exécution de cas de test pour valider les exigences métiers dans un environnement Agile / Scrum. Réalisation de tests manuels et de régression sur des versions applicatives. Suivi des anomalies et des compagnes de tests à l’aide de JIRA. ntégration continue et suivi des livraisons via Jenkins Exécution de tests de performance à l’aide de JMeter dans le cadre de montées de version.
Stage en ingénierie
Office National des Chemins de Fer (ONCF)
avr. 2022 - juil. 2022
4 mois
Rabat, Maroc
réalisation d'une application qui gère la gestion du Flux Fret ONCF à partir du système FretNet qui assure la gestion du Fret depuis l'établissement du contrat de transport jusqu'à la facturation.
Stagiaire
ONEE-Branche Eau
août 2021 - oct. 2021
3 mois
Rabat, Maroc
Conception et réalisation d’une application Web pour la gestion des prestations commerciales externalisées
Stagiaire
Banque Populaire du Maroc (Groupe) Inc
juil. 2019 - oct. 2019
4 mois
Rabat, Maroc
Stage d’observation Les opérations effectuées au sien de l'agence : L`ouverture du compte bancaire - Les moyennes de paiement Produits & Services : Les produits monétiques - Les crédits - Autres services... Utilisation de l’application de Système MANSOUR.
Formation
Groupe ISGA
Master en Ingénierie informatique
2020 - 2022
1 an 11 mois
Groupe ISGA
license
2018 - 2020
2 ans 8 mois