Stage - ingénieur - vérification preuve formelle fpga - f/h

STAGE - Ingénieur - Vérification preuve formelle FPGA - F/H

Stage de 6 mois à pourvoir à Valence.

QUI SOMMES-NOUS ?

Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif.

QUI ETES-VOUS ?

Vous êtes en BAC+5 d’une formation spécialisée en électronique ou micro-électronique ?

Vous maîtrisez le développement VHDL et l’analyse de code en général ?

Vous connaissez l’environnement Unix ?

Vous avez déjà utilisé l’outil de simulation RTL ?

SystemVerilog Assertion ou PSL vous sont des langages familiers ? C’est un plus !

Vous êtes à l’aise pour lire et écrire en anglais ?

Vous avez un esprit d’analyse ?

Votre rigueur vous permet d’être rapidement autonome ?

Vous êtes de nature curieuse et force de proposition ?

Oui ? Alors ce stage est pour vous !


CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

Intégré.e au Centre de Compétences Equipements et Technologies Aéronautiques (ETA), vous rejoignez le Département Hardware. L'objectif du stage est ainsi la mise en œuvre d’un outil de vérification formelle sur un projet en développement.

En nous rejoignant, vos principales missions seront :

* S’approprier un composant avec sa spécification ;
* Proposer une stratégie de vérification hybride (simulation/formel) ;
* Mettre en œuvre l'outil formel ;
* Présenter ses résultats.

Nous sommes toujours en phase ? Oui ? Alors, n’attendez plus, postulez !

Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.

#J-18808-Ljbffr