Experience

HUMANITAS SOLUTIONS

• Canada
• IT Services and IT Consulting
• 1 - 100 Employee

• Researcher Partner

  • Feb 2020 - Present

  - Research on: - UAV software development - Software avionics life-cyle - DO-178C standard - Formal Methods. Teaching assistant at Polytechnique Montreal: - INF6603 ( Formal verification of real-time systems) - 2020 - INF8986 (Techniques avancées de vérification de modèle) - 2022 - Research on: - UAV software development - Software avionics life-cyle - DO-178C standard - Formal Methods. Teaching assistant at Polytechnique Montreal: - INF6603 ( Formal verification of real-time systems) - 2020 - INF8986 (Techniques avancées de vérification de modèle) - 2022



WA New Solution INC

• Canada
• IT Services and IT Consulting
• 1 - 100 Employee

• Analyste systèmes

  • May 2021 - Jan 2023

  Solutions Developer Consultant - Microsoft Dynamics 365 Sales (CRM) - Power Platform: Power Automate, PowerApps Canvas, Power Pages (Powerapps Portal), Power Virtual Agents, Power BI Solutions Developer Consultant - Microsoft Dynamics 365 Sales (CRM) - Power Platform: Power Automate, PowerApps Canvas, Power Pages (Powerapps Portal), Power Virtual Agents, Power BI



Universidade Federal de Santa Catarina

• Brazil
• Higher Education
• 700 & Above Employee

• CAPES Scholarship - Masters Student

  • Mar 2017 - Apr 2019

  Project : Applying Formal Verification Techniques to Embedded Software in UAV Design. - Embedded Systems Development; - Formal Verification applied in UAV context; - Model Checking; - Runtime Verification; - Hardware-In-the-Loop - Software Tracing Analysis. Project : Applying Formal Verification Techniques to Embedded Software in UAV Design. - Embedded Systems Development; - Formal Verification applied in UAV context; - Model Checking; - Runtime Verification; - Hardware-In-the-Loop - Software Tracing Analysis.



ArcelorMittal

• Luxembourg
• Mining
• 700 & Above Employee

• Internship Engineering - Service Production Planning

  • Mar 2014 - Sep 2014

  - Development of KPI (Key performance Indicators) to measure the quality of production line scheduling. - Analysis and reorganization of indicators for the programming software. - Analysis of PSI Metals MES software for the company's production lines. - Conducting and participating in meetings of the ArcelorMittal Supply Chain restructuring project. - Development of KPI (Key performance Indicators) to measure the quality of production line scheduling. - Analysis and reorganization of indicators for the programming software. - Analysis of PSI Metals MES software for the company's production lines. - Conducting and participating in meetings of the ArcelorMittal Supply Chain restructuring project.



CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

• Brazil
• Government Administration
• 700 & Above Employee

• Bolsista ( Programa Ciência Sem Fronteiras - França)

  • Sep 2013 - Sep 2014



Schoonberg TP

• Esquelbecq, França

• Engineer Internship

  • May 2013 - Sep 2013

  Design of a line Production for an innovative civil engineering product. Design of a line Production for an innovative civil engineering product.