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.
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.
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.
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,...
