Profil & Parcours
Ingénieur en formation spécialisé dans les systèmes critiques et la vérification logicielle — en transition active vers la recherche appliquée et la R&D industrielle dans les domaines de l'embarqué, de l'IA et des systèmes de contrôle.
Expérience
Vérification et validation de systèmes de contrôle-commande pour centrales nucléaires françaises. Ingénierie de sûreté, rédaction de dossiers de tests, conformité aux normes NF EN 62138 et IEC 61513.
Formation en systèmes embarqués, algorithmique avancée, réseaux, bases de données, et génie logiciel.
Stack technique
- ›C / C++
- ›Raspberry Pi
- ›STM32
- ›I²C · SPI · UART
- ›RTOS
- ›Python
- ›TypeScript
- ›Linux
- ›Git · CI/CD
- ›Docker
- ›IEC 61508
- ›DO-278A
- ›Fault tree
- ›FMEA
- ›Test planning
- ›TensorFlow
- ›PyTorch
- ›Scikit-learn
- ›Signal processing
Objectif de recherche
Intégrer un programme de R&D industrielle ou de recherche appliquée au sein d'une structure orientée ingénierie avancée, sur une thématique à l'intersection de l'IA, des systèmes fiables, et des méthodes formelles — avec applications aux systèmes embarqués ou industriels critiques.