MONTRÉAL
Bienvenu sur mon profil !
Au sein d'une équipe conviviale, dynamique et passionnée dans le secteur de l'ingénierie des systèmes embarqués (domotique, avionique, automobile, télécommunication), je propose mes compétences en conception, modélisation, réalisation, vérification et test.
Je propose une approche de conception à base des modèles (sémi) formelles (UML, automates, réseaux de pétri, graphcet). J'utilise des outils de vérification et preuve formelle (UPPAAL, SMV, Lustre, SPIN, Coq, JUnit) pour certifier les modèles avant leur réalisation.
Je réalise des applications en C, C++, Qt, Java.
Je sais monter des formations, rédiger des documents scientifiques ou techniques en Français et en Anglais.
Je suis disponible au 1er Octobre 2013
Vous êtes ouverts et passionnés, vous avez besoin d'un collaborateur, contactez moi !
Mes compétences :
Qt
Méthode Formelles pour le génie logiciel
Rédaction technique
C++
C
Test
Supervision
Java
Modélisation UML
Model-checking
Langages synchrones (Lustre)
