-
Université de Québec
- Doctorante
2017 - maintenant
Phd Student, Détection de Malware dans les Traces, Laboratoire d'Informatique Formelle - Université de Québec à Chicouimi Canada. Encadré par Mr Raphaël Khoury et Sylvain Hallé.
-
Ecole de formation Professionnel PRIMAVERA
- Directrice générale
2016 - 2017
Primavera est une école de formation professionnel spécialisée dans les langues vivantes, project management, les nouvelles technologies et développement personnel...
Agrée par l'Etat sous le N° 1711781 pour les formations continue et de base
-
Club Microsoft
- Enseignante responsable
2016 - 2017
-
Institut Supérieur d'Informatique et Multimédia Gabès
- Enseignante
2014 - 2017
sécurité multimédia, conduite de projet multimédia, Méthodologie de conception, C++, C, Base de données, Photographie, SGBD
-
Association Ennour des bienfaisances
- Chargé de l'information
2014 - 2017
-
Université de Rouen
- Stage de Recherche
Mont-Saint-Aignan
2013 - 2013
Titre: Logique temporelle pour les programmes concurrents, Encadré par Mr Nicolas Bedon.
L'équivalence entre la logique du premier ordre de l'ordre linéaire et la logique temporelle linéaire est un résultat à la base de nombreux développements en modélisation/vérification de programmes séquentiels. Jusqu'à récemment, les preuves étaient réputées difficiles. j'ai étudié une nouvelle preuve, plus simple, exposée en 2006. Puis, je me suis intéressée à des modèles de programmes concurrents. L'objectif du stage c'était d'explorer la possibilité de l'adaptation de la preuve de 2006 au cas des modèles de programmes concurrents et d'étudier l'approche algorithmique pour la vérification de programmes en utilisant les liens entre les automates et la logique linéaire.
-
Université de Rouen
- Stage
Mont-Saint-Aignan
2012 - 2012
Recherche informatique , Stage, UFR des sciences et technique
- Etude sur les codes préfixes, les codes de Huffman et les codes préfixes synchronisant
- Trouver une méthode qui permet d'obtenir des codes préfixes synchronisant ,
-
Studio Karim
- Photographe et montage vidéo
2010 - 2011
Galerie Razgallah, Chenini- Gabès , Laboratoire de photographie, entreprise familiale .
– Montage vidéo : Pinnacle Studio Ultimate, photoshine, 3D Album CS
– Tirage des photos
– Photographe (images et vidéos)
-
GCT Groupe Chimique Tunisien
- Stagiaire
2010 - 2010
Stage de fin d'études, Assistante de recherche informatique,
Entreprise spécialisée dans la production et la transformation du phosphate.
- Développement d'une application de Backup d'un serveur à un autre ;
- Détection de panne et de perte des données
- Langage de programmation : java ;
- Outil de développement : NetBeans, UML Diagrammer ,
-
Faculté des sciences Gabès
- Stagiaire
2009 - 2009
Mini-Projet, Gestion d'un jardin d'enfant TOUYOUR ELJANNA
- Développement des services métiers et des services techniques
- Gestion de base des données
- Développement des interfaces graphiques
- Langage de programmation : Vb.net
- Outil de développement : Visual Studio 2008
-
Galerie Razgallah
- Gérante
2006 - 2011
Gérante, Galerie Razgallah, Chenini- Gabès , Laboratoire de photographie, entreprise familiale .
- Montage vidéo : Pinnacle Studio Ultimate, photoshine, 3D Album CS
- Tirage des photos
- Photographe (images et vidéos)
